1 option
Fundamental Approaches to Software Engineering : 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings / edited by José Fiadeiro, Paola Inverardi.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4961.
- Theoretical Computer Science and General Issues ; 4961
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer logic.
- Programming languages (Electronic computers).
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Software Engineering.
- Logics and Meanings of Programs.
- Programming Languages, Compilers, Interpreters.
- Physical Description:
- 1 online resource (XIII, 434 pages).
- Edition:
- First edition 2008.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
- System Details:
- text file PDF
- Contents:
- Requirements and Architectures
- Deriving Non-zeno Behavior Models from Goal Models Using ILP
- What's in a Feature: A Requirements Engineering Perspective
- Formal Approach to Integrating Feature and Architecture Models
- Models, Model Transformations I
- Correctness-Preserving Configuration of Business Process Models
- Consistent Integration of Models Based on Views of Visual Languages
- Translating Model Simulators to Analysis Models
- Conceptual Models, UML
- Orthographic Modeling Environment
- HOL-OCL: A Formal Proof Environment for uml/ocl
- Towards Faithful Model Extraction Based on Contexts
- Leveraging Patterns on Domain Models to Improve UML Profile Definition
- Service Engineering/Adaptable Services
- When Things Go Wrong: Interrupting Conversations
- Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services
- Engineering Service Oriented Applications: From StPowla Processes to SRML Models
- Verification and Testing I
- A Logic of Graph Constraints
- A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
- Modelling and Verification of Timed Interaction and Migration
- A Model Checking Approach for Verifying COWS Specifications
- Verification and Testing II
- Contextual Integration Testing of Classes
- An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
- A Domain Analysis to Specify Design Defects and Generate Detection Algorithms
- Automated Analysis of Permission-Based Security Using UMLsec
- Objects and Components
- Software Quality Improvement Via Pattern Matching
- Object Composition in Scenario-Based Programming
- Regular Inference for State Machines Using Domains with Equality Tests
- COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems
- Models, Model Transformations II
- Verification of Architectural Refactorings by Rule Extraction
- Formal Model-Driven Program Refactoring
- An Algebraic Semantics for MOF
- A Formal Framework for Developing Adaptable Service-Based Applications
- Language-Based Optimisation of Sensor-Driven Distributed Computing Applications
- Clint: A Composition Language Interpreter (Tool Paper).
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-78743-3
- 9783540787433
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.