Fundamental Approaches to Software Engineering
Springer Berlin (Verlag)
978-3-540-43353-8 (ISBN)
Formal Frameworks.- An Approach to Composition Motivated by wp.- Compositional Verification of Secure Applet Interactions.- A Generic Component Framework for System Modeling.- Model and Program Analysis.- Implementing Condition/Event Nets in the Circal Process Algebra.- Integrated State Space Reduction for Model Checking Executable Object-Oriented Software System Designs.- Model Generation by Moderated Regular Extrapolation.- Better Slicing of Programs with Jumps and Switches.- Architecture Descriptions.- Architectural Types Revisited: Extensible And/Or Connections.- Mapping an ADL to a Component-Based Application Development Environment.- From EDOC Components to CCM Components: A Precise Mapping Specification.- Meta-Models.- Engineering Modelling Languages: A Precise Meta-Modelling Approach.- AToM3: A Tool for Multi-formalism and Meta-modelling.- A Toolbox for Automating Visual Software Engineering.- Formal Approaches towards UML.- Enriching OCL Using Observational Mu-Calculus.- Formal Verification of UML Statecharts with Real-Time Extensions.- Requirements Engineering.- An Authoring Tool for Informal and Formal Requirements Specifications.- Introducing Context-Based Constraints.- Formal Requirements Engineering Using Observer Models.- Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach.- Meta-modeling Techniques Meet Web Application Design Tools.- Formal-Driven Conceptualization and Prototyping of Hypermedia Applications.- Tool Demonstrations.- The Coordination Development Environment.- The Key System: Integrating Object-Oriented Design and Formal Methods.- ObjectCheck: A Model Checking Tool for Executable Object-Oriented Software System Designs.- Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
Erscheint lt. Verlag | 20.3.2002 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | VI, 342 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 155 x 233 mm |
Gewicht | 610 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Informatik ► Theorie / Studium ► Compilerbau | |
Schlagworte | Design • formal methods • Formal Verification • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Metamodeling • Modeling • Petri net • program analysis • Requirements Engineering • Reverse Engineering • software architecture • software development • Software Development Tools • Software engineering • Systems Design • UML • unified modeling language (UML) • verification |
ISBN-10 | 3-540-43353-8 / 3540433538 |
ISBN-13 | 978-3-540-43353-8 / 9783540433538 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich