Vor Ort
Merkzettel Warenkorb
Produktbild: Fundamental Approaches to Software Engineering
Band 2306

Fundamental Approaches to Software Engineering

Aus der Reihe Lecture Notes in Computer Science

59,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.03.2002

Herausgeber

Ralf-Detlef Kutsche + weitere

Verlag

Springer Berlin

Seitenzahl

360

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43353-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.03.2002

Herausgeber

Verlag

Springer Berlin

Seitenzahl

360

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

546 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43353-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Fundamental Approaches to Software Engineering
  • 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.