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

Fundamental Approaches to Software Engineering 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.03.2003

Abbildungen

XIV, 407 p.

Herausgeber

Mauro Pezzè

Verlag

Springer Berlin

Seitenzahl

407

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00899-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.03.2003

Abbildungen

XIV, 407 p.

Herausgeber

Mauro Pezzè

Verlag

Springer Berlin

Seitenzahl

407

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-00899-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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
  • Produktbild: Fundamental Approaches to Software Engineering
  • Keynote.- Symbiosis of Static Analysis and Program Testing.- Software Components.- An Ontology for Software Component Matching.- A Description Language for Composable Components.- A Logical Basis for the Specification of Reconfigurable Component-Based Systems.- An Overall System Design Approach Doing Object-Oriented Modeling to Code-Generation for Embedded Electronic Systems.- Mobile Computing.- Composing Specifications of Event Based Applications.- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.- Spatial Security Policies for Mobile Agents in a Sentient Computing Environment.- Aspect and Object-Oriented Programming.- Towards UML-Based Formal Specifications of Component-Based Real-Time Software.- Modelling Recursive Calls with UML State Diagrams.- Pipa: A Behavioral Interface Specification Language for Aspect.- PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features.- Distributed and Web Applications.- Model-Based Development of Web Applications Using Graphical Reaction Rules.- Modular Analysis of Dataflow Process Networks.- Software Measurements.- Foundations of a Weak Measurement-Theoretic Approach to Software Measurement.- An Information-Based View of Representational Coupling in Object-Oriented Systems.- Formal Verification.- A Temporal Approach to Specification and Verification of Pointer Data-Structures.- A Program Logic for Handling Java Card’s Transaction Mechanism.- Monad-Independent Hoare Logic in HASCASL.- Visual Specifications of Policies and Their Verification.- Analysis and Testing.- Automatic Model Driven Animation of SCR Specifications.- Probe Mechanism for Object-Oriented Software Testing.- Model Checking Software via Abstraction of Loop Transitions.- Model Integrationsand Extensions.- Integration of Formal Datatypes within State Diagrams.- Xere: Towards a Natural Interoperability between XML and ER Diagrams.- Detecting Implied Scenarios Analyzing Non-local Branching Choices.- Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs.