Fundamental Approaches to Software Engineering
by Fiadeiro, Jose Luiz; Inverardi, PaolaFormat: Paperback
Pub. Date: 2008-05-16
Publisher(s): Springer-Verlag New York Inc
Other versions by this Author
List Price: $117.68
Rent Textbook
Select for Price
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
This book constitutes the refereed proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, FASE 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.The 26 revised full papers presented together with 5 tool demonstrations were carefully reviewed and selected from 119 submissions. The papers are organized in topical sections on requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.
Table of Contents
| Requirements and Architectures | |
| Deriving Non-zeno Behavior Models from Goal Models Using ILP | p. 1 |
| What's in a Feature: A Requirements Engineering Perspective | p. 16 |
| Formal Approach to Integrating Feature and Architecture Models | p. 31 |
| Models, Model Transformations I | |
| Correctness-Preserving Configuration of Business Process Models | p. 46 |
| Consistent Integration of Models Based on Views of Visual Languages | p. 62 |
| Translating Model Simulators to Analysis Models | p. 77 |
| Conceptual Models, UML | |
| Orthographic Modeling Environment | p. 93 |
| HOL-COL: A Formal Proof Environment for UML/OCL | p. 97 |
| Towards Faithful Model Extraction Based on Contexts | p. 101 |
| Leveraging Patterns on Domain Models to Improve UML Profile Definition | p. 116 |
| Service Engineering/Adaptable Services | |
| When Things Go Wrong: Interrupting Conversations | p. 131 |
| Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services | p. 146 |
| Engineering Service Oriented Applications: From StPowla Processes to SRML Models | p. 163 |
| Verification and Testing I | |
| A Logic of Graph Constraints | p. 179 |
| A Generic Complete Dynamic Logic for Reasoning About Purity and Effects | p. 199 |
| Modelling and Verification of Timed Interaction and Migration | p. 215 |
| A Model Checking Approach for Verifying COWS Specifications | p. 230 |
| Verification and Testing II | |
| Contextual Integration Testing of Classes | p. 246 |
| An Automatic Verifier for Java-Like Programs Based on Dynamic Frames | p. 261 |
| A Domain Analysis to Specify Design Defects and Generate Detection Algorithms | p. 276 |
| Automated Analysis of Permission-Based Security Using UMLsec | p. 292 |
| Objects and Components | |
| Software Quality Improvement Via Pattern Matching | p. 296 |
| Object Composition in Scenario-Based Programming | p. 301 |
| Regular Inference for State Machines Using Domains with Equality Tests | p. 317 |
| COMP-REF: A Technique to Guide the Delegation of Responsibilities to Components in Software Systems | p. 332 |
| Models, Model Transformations II | |
| Verification of Architectural Refactorings by Rule Extraction | p. 347 |
| Formal Model-Driven Program Refactoring | p. 362 |
| An Algebraic Semantics for MOF | p. 377 |
| A Formal Framework for Developing Adaptable Service-Based Applications | p. 392 |
| Language-Based Optimisation of Sensor-Driven Distributed Computing Applications | p. 407 |
| Clint: A Composition Language Interpreter (Tool Paper) | p. 423 |
| Author Index | p. 429 |
| Table of Contents provided by Blackwell. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.