Sciweavers

535 search results - page 28 / 107
» Towards a compositional approach to model transformation for...
Sort
View
SEKE
2009
Springer
14 years 1 months ago
Business Modeling for Service Engineering: Toward an integrated Procedure Model
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
Gregor Scheithauer, Stefan Augustin, Guido Wirtz
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
14 years 2 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
CSMR
2006
IEEE
14 years 1 months ago
Migrating Supervisory Control Architectures Using Model Transformations
This paper describes an approach for the migration of supervisory machine control architectures. This migration, from a paradigm based on finite-state machines to a paradigm base...
Bas Graaf, Sven Weber, Arie van Deursen
APSEC
2005
IEEE
14 years 1 months ago
Architectural Style - Based Modeling and Simulation of Complex Software Systems
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
Ping Guo, Gregor Engels, Reiko Heckel
ASM
2010
ASM
14 years 2 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler