Parameter
Mehr zum Buch
InhaltsverzeichnisInvited 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.
Buchkauf
Fundamental approaches to software engineering, Matthew Dwyer
- Sprache
- Erscheinungsdatum
- 2007
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Fundamental approaches to software engineering
- Sprache
- Englisch
- Autor*innen
- Matthew Dwyer
- Verlag
- Springer
- Erscheinungsdatum
- 2007
- ISBN10
- 3540712887
- ISBN13
- 9783540712886
- Kategorie
- Informatik & Programmierung
- Beschreibung
- InhaltsverzeichnisInvited 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.