Fundamental Approaches to Software Engineering
Springer Berlin (Verlag)
978-3-540-71288-6 (ISBN)
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.
| Erscheint lt. Verlag | 9.3.2007 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
| Zusatzinfo | XVI, 442 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 649 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Bayesian networks • classification • Cluster • Clustering • Compiler • Component Systems • Distributed Systems • Eclipse • formal methods • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Java • Metamodeling • Modeling • Modeling Techniques • Object-Oriented Software • problem orientation • program analysis • quality prediction • Requirements Engineering • Safety • Safety Analysis • Semantics • software architecture • Software Development Tools • Software Product Families • Specification • Systems Analysis • systems modeling • UML • unified modeling language (UML) • Validation • verification • Web Services |
| ISBN-10 | 3-540-71288-7 / 3540712887 |
| ISBN-13 | 978-3-540-71288-6 / 9783540712886 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
