top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (XIV, 329 p. 21 illus.)
Disciplina 005.1
Collana Programming and Software Engineering
Soggetto topico Software engineering
Mathematical logic
Computer logic
Computer programming
Computer science—Mathematics
Computers
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
Mathematics of Computing
Theory of Computation
ISBN 1-280-38788-2
9786613565808
3-642-14309-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy.
Record Nr. UNISA-996465635203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Abstract State Machines - Theory and Applications [[electronic resource] ] : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (X, 386 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computer logic
Software engineering
Programming languages (Electronic computers)
Mathematical logic
Database management
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Mathematical Logic and Formal Languages
Database Management
ISBN 3-540-44518-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study.
Record Nr. UNISA-996466355503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings / / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (X, 386 p.)
Disciplina 511.3
Collana Lecture Notes in Computer Science
Soggetto topico Computer logic
Software engineering
Programming languages (Electronic computers)
Mathematical logic
Database management
Logics and Meanings of Programs
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Software Engineering
Mathematical Logic and Formal Languages
Database Management
ISBN 3-540-44518-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Abstract State Machines at the Cusp of the Millenium -- Mathematical Foundations -- Abstract State Machines and Pure Mathematics -- Abstract State Machines and Computationally Complete Query Languages -- On Verification of Refinements of Timed Distributed Algorithms -- Abstract State Machine Languages -- Objects + Views = Components? -- XASM- An Extensible, Component-Based Abstract State Machines Language -- Generic Facilities in Object-Oriented ASMs -- Distribution and Concurrency -- Towards an ASM Thesis for Unconventional Algorithms -- Partially Ordered Runs: A Case Study -- Investigating Java Concurrency Using Abstract State Machines -- Compilers and Semantics -- Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations -- An ASM Dynamic Semantics for Standard ML -- Modeling the Dynamics of UML State Machines -- On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine -- Description and Simulation of Microprocessor Instruction Sets Using ASMs -- Automatic Verication and Model Checking -- Symbolic Analysis of Transition Systems? -- Encoding Abstract State Machines in PVS -- Model Checking Abstract State Machines and Beyond -- Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study -- Industrial Applications -- Report on a Practical Application of ASMs in Software Design -- Using Abstract State Machines at Microsoft: A Case Study.
Record Nr. UNINA-9910143618703321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Abstraction, Reformulation, and Approximation [[electronic resource] ] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / / edited by Berthe Y. Choueiry, Toby Walsh
Abstraction, Reformulation, and Approximation [[electronic resource] ] : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / / edited by Berthe Y. Choueiry, Toby Walsh
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (XII, 336 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Software engineering
Mathematical logic
Computer logic
Artificial Intelligence
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 3-540-44914-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Partial Completeness of Abstract Fixpoint Checking -- An Overview of MAXQ Hierarchical Reinforcement Learning -- Recent Progress in the Design and Analysis of Admissible Heuristic Functions -- Tutorial -- GIS Databases: From Multiscale to MultiRepresentation -- Full Papers -- An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation -- Abstractions for Knowledge Organization of Relational Descriptions -- Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions -- Approximating Data in Constraint Databases -- Linearly Bounded Reformulations of Unary Databases -- A CSP Abstraction Framework -- Interactions of Abstractions in Programming -- Reformulation and Approximation in Model Checking -- The Lumberjack Algorithm for Learning Linked Decision Forests -- Reformulating Propositional Satisfiability as Constraint Satisfaction -- Extended Abstracts -- Improving the Efficiency of Reasoning Through Structure-Based Reformulation -- Using Feature Hierarchies in Bayesian Network Learning -- On Reformulating Planning as Dynamic Constraint Satisfaction -- Experiments with Automatically Created Memory-Based Heuristics -- Abstraction and Phase Transitions in Relational Learning -- Posters -- An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis -- A Compositional Approach to Causality -- A Method for Finding Consistent Hypotheses Using Abstraction -- Research Summaries -- Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction -- Using and Learning Abstraction Hierarchies for Planning -- Learning Probabilistic Relational Models -- Synergy between Compositional Modeling and Bayesian Networks -- A CSP Abstraction Framework -- Answering Queries with Database Restrictions -- Research Summary.
Record Nr. UNISA-996465437703316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / / edited by Berthe Y. Choueiry, Toby Walsh
Abstraction, Reformulation, and Approximation : 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26-29, 2000 Proceedings / / edited by Berthe Y. Choueiry, Toby Walsh
Edizione [1st ed. 2000.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Descrizione fisica 1 online resource (XII, 336 p.)
Disciplina 006.3
Collana Lecture Notes in Artificial Intelligence
Soggetto topico Artificial intelligence
Software engineering
Mathematical logic
Computer logic
Artificial Intelligence
Software Engineering/Programming and Operating Systems
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
ISBN 3-540-44914-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Invited Talks -- Partial Completeness of Abstract Fixpoint Checking -- An Overview of MAXQ Hierarchical Reinforcement Learning -- Recent Progress in the Design and Analysis of Admissible Heuristic Functions -- Tutorial -- GIS Databases: From Multiscale to MultiRepresentation -- Full Papers -- An Abstraction Framework for Soft Constraints and Its Relationship with Constraint Propagation -- Abstractions for Knowledge Organization of Relational Descriptions -- Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions -- Approximating Data in Constraint Databases -- Linearly Bounded Reformulations of Unary Databases -- A CSP Abstraction Framework -- Interactions of Abstractions in Programming -- Reformulation and Approximation in Model Checking -- The Lumberjack Algorithm for Learning Linked Decision Forests -- Reformulating Propositional Satisfiability as Constraint Satisfaction -- Extended Abstracts -- Improving the Efficiency of Reasoning Through Structure-Based Reformulation -- Using Feature Hierarchies in Bayesian Network Learning -- On Reformulating Planning as Dynamic Constraint Satisfaction -- Experiments with Automatically Created Memory-Based Heuristics -- Abstraction and Phase Transitions in Relational Learning -- Posters -- An Agent-Based Approach to Robust Switching Between Abstraction Levels for Fault Diagnosis -- A Compositional Approach to Causality -- A Method for Finding Consistent Hypotheses Using Abstraction -- Research Summaries -- Program Synthesis and Transformation Techniques for Simulation, Optimization, and Constraint Satisfaction -- Using and Learning Abstraction Hierarchies for Planning -- Learning Probabilistic Relational Models -- Synergy between Compositional Modeling and Bayesian Networks -- A CSP Abstraction Framework -- Answering Queries with Database Restrictions -- Research Summary.
Record Nr. UNINA-9910768434203321
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Ad-Hoc, Mobile and Wireless Networks [[electronic resource] ] : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, Proceedings / / edited by Ioanis Nikolaidis, Kui Wu
Ad-Hoc, Mobile and Wireless Networks [[electronic resource] ] : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010, Proceedings / / edited by Ioanis Nikolaidis, Kui Wu
Edizione [1st ed. 2010.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica 1 online resource (X, 222 p. 86 illus.)
Disciplina 004.6
Collana Computer Communication Networks and Telecommunications
Soggetto topico Computer communication systems
Software engineering
Computer programming
Application software
Algorithms
Computer Communication Networks
Software Engineering/Programming and Operating Systems
Programming Techniques
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity
Software Engineering
ISBN 1-280-38815-3
9786613566072
3-642-14785-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Simulation-Based Comparison of Three Wireless Multicast Routing Protocols: MOST, MOLSR and SMOLR -- An Energy Efficient Power Control Protocol for Ad Hoc Networks Using Directional Antennas -- On Minimizing the Sum of Sensor Movements for Barrier Coverage of a Line Segment -- On Alarm Protocol in Wireless Sensor Networks -- Revisiting Clustering Based Efficient Broadcast for Wireless Multihop Networks with Memory Limited Nodes -- Locally Proactive Routing Protocols -- Coverage-Adaptive Random Walks for Fast Sensory Data Collection -- Joint Scheduling and Spectrum Allocation in Wireless Networks with Frequency-Agile Radios -- Towards Modeling Realistic Mobility for Performance Evaluations in MANET -- An Efficient Clusterhead Placement for Hybrid Sensor Networks -- RaceTrack: An Approximation Algorithm for the Mobile Sink Routing Problem -- Data Aggregation Integrity Based on Homomorphic Primitives in Sensor Networks -- iCCA-MAP Versus MCL and Dual MCL: Comparison of Mobile Node Localization Algorithms -- ADNL-Angle: Accurate Distributed Node Localization for Wireless Sensor Networks with Angle of Arrival Information -- Planning and Deploying Long Distance Wireless Sensor Networks: The Integration of Simulation and Experimentation -- A Generalized Framework for Integrated Vehicle Traffic and Wireless Network Simulation.
Record Nr. UNISA-996466212203316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Ada 2005 Rationale [[electronic resource] ] : The Language, The Standard Libraries / / by John Barnes
Ada 2005 Rationale [[electronic resource] ] : The Language, The Standard Libraries / / by John Barnes
Autore Barnes John
Edizione [1st ed. 2008.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Descrizione fisica 1 online resource (XIII, 267 p.)
Disciplina 005.13/3
Collana Programming and Software Engineering
Soggetto topico Software engineering
Computer programming
Programming languages (Electronic computers)
Software Engineering/Programming and Operating Systems
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
ISBN 3-540-79701-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Object Oriented Model -- Access Types -- Structure and Visibility -- Tasking and Real-Time -- Exceptions, Generics etc. -- Predefined Library -- Containers -- Epilogue.
Record Nr. UNISA-996465734103316
Barnes John  
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Ada 95, Quality and Style [[electronic resource] ] : Guidelines for Professional Programmers / / edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
Ada 95, Quality and Style [[electronic resource] ] : Guidelines for Professional Programmers / / edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
Edizione [1st ed. 1995.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995
Descrizione fisica 1 online resource (XV, 296 p.)
Disciplina 005.13/3
Collana Lecture Notes in Computer Science
Soggetto topico Programming languages (Electronic computers)
Software engineering
Computer science
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Computer Science, general
ISBN 3-540-69655-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-996465388903316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Ada in Europe [[electronic resource] ] : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / / edited by Marcel Toussaint
Ada in Europe [[electronic resource] ] : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995 / / edited by Marcel Toussaint
Edizione [1st ed. 1996.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996
Descrizione fisica 1 online resource (XII, 464 p.)
Disciplina 005.13/3
Collana Lecture Notes in Computer Science
Soggetto topico Programming languages (Electronic computers)
Software engineering
Computer programming
Operating systems (Computers)
Special purpose computers
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Software Engineering
Programming Techniques
Operating Systems
Special Purpose and Application-Based Systems
ISBN 3-540-49362-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Ada: A sceptical assessment -- Ada95 — An approach to overcome the software crisis? -- Safe Ada Executive: An executive for Ada safety critical applications -- Developing fault tolerant software in Ada for real-time dependable systems -- The practical application of safety techniques on an Ada based project -- Ada in mixed language applications -- Heterogeneous data structures and cross-classification of objects with Ada 95 -- An ANDF based Ada 95 compiler system -- Performance tuning of a check-out system coded in Ada -- Ariane 5: Development of the on-board software -- PRONAOS ground control center: First operational Ada application in C.N.E.S. -- ASIS for GNAT: Goals, problems and implementation strategy -- KBSE and Ada: Object and enabling technology -- Extending the Ada 95 initial conditions for preelaboration for use in real-time systems -- The use of Ada for the ENVISAT-1 simulator -- Objects at use in nautical simulators -- DIS — An interface to distributed interactive simulation -- PARIS — Partitioned Ada for Remotely Invoked Services -- Programming distributed systems with both Ada 95 and PVM -- Distributed object oriented programming and interoperability for Ada 95: An OMG/CORBA approach -- Distributed and parallel systems and HOOD4 -- ReverseNICE: A re-engineering methodology and supporting tool -- Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95 -- The introduction of an Object Oriented Analysis/Design method and Object Oriented Metrics in the software development life-cycle -- Modelling and validation of tasks with algebraic structured nets -- Design of concurrent software based on problem concurrency -- ECLIPS — A successful experiment combining CCSDS SFDUs, X/Motif, HOOD and Ada -- Applying Teamwork/Ada and RAISE for developing an Air Traffic Control application -- Breaking through the V and V bottleneck -- Periodic processing in hard real-time systems: Assessment of different design models in Ada -- Transaction specification for object-oriented real-time systems in HRT-HOOD -- Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC) -- Ada and timed automata -- Testing Ada 95 object-oriented programs -- Achieving reusable and reliable client-server code using HOODTM automated code generation for ADA95 and C++ targets -- Round table discussion: “Tools and design methods” held on October 4, 1995 -- Lampbada.
Record Nr. UNISA-996465581503316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Ada in Europe [[electronic resource] ] : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings / / edited by Marcel Toussaint
Ada in Europe [[electronic resource] ] : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings / / edited by Marcel Toussaint
Edizione [1st ed. 1994.]
Pubbl/distr/stampa Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994
Descrizione fisica 1 online resource (XII, 528 p.)
Disciplina 005.13/3
Collana Lecture Notes in Computer Science
Soggetto topico Programming languages (Electronic computers)
Software engineering
Computer programming
Operating systems (Computers)
Special purpose computers
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Software Engineering
Programming Techniques
Operating Systems
Special Purpose and Application-Based Systems
ISBN 3-540-49110-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Opening address: Ada 9X -- Run-time check elimination for Ada 9X -- Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model -- Merging Ada 9X and C++ in a graphics system software architecture -- The AECSS fault tolerant distributed Ada testbed and application -- A front-end to HOOD -- Tool support for high integrity Ada software -- Testing Ada abstract data types using formal specifications -- Formal methods for a space software development environment -- Object orientation is not always best! -- Beyond abstract data types: Giving life to objects -- Test methods and tools for SOHO Mass Memory Unit software -- Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments -- A new approach for HOOD/Ada mapping -- Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods -- How should military Ada software be documented? -- Evolving an Ada curriculum to 9X -- Recommendations and proposals for an Ada strategy in the Space Software Development Environment -- Life ADA: An APSE integrating multiple compilers -- Extended application of Ada to cover ECBS with O4S -- Development of a lightweight object-based software process model under pragmatic constraints -- ESSPASE: European Space Software Product Assurance Support Environment -- Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter -- A knowledge-based System for diagnosis in Veterinary Medicine -- Event diagnosis and recovery in real-time on-board autonomous mission control -- Safety aspects of the Ariane 5 on-board software -- Ada controls the European robotic arm -- Automatic generation of ada source code for the Rafale Mission computer -- The Real-time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 or How to avoid and control proliferation of new Ada Real time extensions -- A fully reusable class of objects for synchronization and communication in Ada 9X -- Interfacing computer communications from ada in a diverse and evolving environment -- Cost-benefit analysis for software-reuse — A decision procedure -- Ex2: Integrating Ada and extra support in a doubly portable extended executive designed for hard real time systems -- Distribution of tasks within a centrally scheduled local area network -- Handling interrupts in Ada 9X -- Tuning Ada programs in advance -- CEDEX A tool for the selection of a development and execution environment for real time on-bord applications -- Portability effort estimates for real time applications written in Ada through static code analysis -- FAA certification of Ada Run-Time Systems -- Panel on safety and reliability held on September 28, 1994 -- Experiences integrating object-oriented analysis with Joint Application Development (JAD).
Record Nr. UNISA-996466162003316
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1994
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui