fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Dwyer / Lopes

Fundamental Approaches to Software Engineering

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceedings

Medium: Buch
ISBN: 978-3-540-71288-6
Verlag: Springer
Erscheinungstermin: 09.03.2007
In den Warenkorb
Lieferfrist: bis zu 10 Tage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Theory and Practice of Software. It covers evolution and agents, model driven development, tool demonstrations, distributed systems, specification, services, testing, analysis, and design.

Produkteigenschaften

  • Artikelnummer: 9783540712886
  • Medium: Buch
  • ISBN: 978-3-540-71288-6
  • Verlag: Springer
  • Erscheinungstermin: 09.03.2007
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2007
  • Serie: Theoretical Computer Science and General Issues
  • Produktform: Kartoniert
  • Gewicht: 712 g
  • Seiten: 442
  • Format (B x H): 155 x 235 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

Invited Contributions.- Software Product Families: Towards Compositionality.- Contract-Driven Development.- Evolution and Agents.- EQ-Mine: Predicting Short-Term Defects for Software Evolution.- An Approach to Software Evolution Based on Semantic Change.- A Simulation-Oriented Formalization for a Psychological Theory.- Model Driven Development.- Integrating Performance and Reliability Analysis in a Non-Functional MDA Framework.- Information Preserving Bidirectional Model Transformations.- Activity-Driven Synthesis of State Machines.- Flexible and Extensible Notations for Modeling Languages.- Tool Demonstrations.- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More General Types.- S2A: A Compiler for Multi-modal UML Sequence Diagrams.- Distributed Systems.- Scenario-Driven Dynamic Analysis of Distributed Architectures.- Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software.- A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.- Specification.- Precise Specification of Use Case Scenarios.- Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams.- SDL Profiles – Formal Semantics and Tool Support.- Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.- Services.- A Service Composition Construct to Support Iterative Development.- Correlation Patterns in Service-Oriented Architectures.- Dynamic Characterization of Web Application Interfaces.- Testing.- A Prioritization Approach for Software Test Cases Based on Bayesian Networks.- Redundancy Based Test-Suite Reduction.- Testing Scenario-Based Models.- Integration Testing in Software Product Line Engineering: A Model-Based Technique.- Analysis.-Practical Reasoning About Invocations and Implementations of Pure Methods.- Finding Environment Guarantees.- Ensuring Consistency Within Distributed Graph Transformation Systems.- Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks.- Design.- Towards Normal Design for Safety-Critical Systems.- A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement.- Measuring and Characterizing Crosscutting in Aspect-Based Programs: Basic Metrics and Case Studies.