Fundamental Approaches to Software Engineering
Springer Berlin (Verlag)
978-3-540-67261-6 (ISBN)
Invited Papers.- Essay on Software Engineering at the Turn of Century.- Memex Is Not Enough.- From Play-In Scenarios to Code: An Achievable Dream.- Real-Time Systems.- Parallel Refinement Mechanisms for Real-Time Systems.- Applying RT-Z to Develop Safety-Critical Systems.- A Process Algebra for Real-Time Programs.- Formally Engineering Systems.- System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches.- Structuring and Design of Reactive Systems Using RSDS and B.- Using Domain-Specific Languages for the Realization of Component Composition.- Software Engineering.- Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach.- Software as Learning: Quality Factors and Life-Cycle Revised.- What Is 'Mathematicalness' in Software Engineering?.- A Formal Approach to Heterogeneous Software Modeling.- Object Orientation.- Formal Specification of Object-Oriented Meta-modelling.- Verification of Object Oriented Programs Using Class Invariants.- Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.- A Model for Describing Object-Oriented Systems from Multiple Perspectives.- Formally Engineering Systems.- Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems.- Theory and Applications.- Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.- Java Program Verification via a Hoare Logic with Abrupt Termination.- Foundations for Software Configuration Management Policies Using Graph Transformations.- Analyzing Non-functional Properties of Mobile Agents.- Case Studies.- Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods.- A CaseStudy on Using Automata in Control Synthesis.- Demonstrations.- Formal System Development with KIV.- More About TAS and IsaWin - Tools for Formal Program Development.- Using Maude.
Erscheint lt. Verlag | 15.3.2000 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XIII, 378 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 233 mm |
Gewicht | 518 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Automata • Formal Method • formal methods • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • HC/Informatik, EDV/Programmiersprachen • Java • Logic • Modeling • object • Objektorientierte Programmierung • Program Transformation • real-time • Reverse Engineering • software architecture • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Software Reuse • System design • unified modeling language (UML) |
ISBN-10 | 3-540-67261-3 / 3540672613 |
ISBN-13 | 978-3-540-67261-6 / 9783540672616 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich