Sciweavers

4919 search results - page 523 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
SOCO
2007
Springer
16 years 28 days ago
Dynamically Adaptable Applications with iPOJO Service Components
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
Clément Escoffier, Richard S. Hall
EMSOFT
2003
Springer
16 years 1 days ago
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
Albert Benveniste, Luca P. Carloni, Paul Caspi, Al...
145
Voted
FATES
2003
Springer
16 years 1 days ago
Towards a Tool Environment for Model-Based Testing with AsmL
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanso...
ICWE
2007
Springer
16 years 1 months ago
On the Integration of Web Modeling Languages
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
Manuel Wimmer, Andrea Schauerhuber, Wieland Schwin...
233
Voted
SCESM
2006
ACM
269views Algorithms» more  SCESM 2006»
16 years 24 days ago
Inferring operational requirements from scenarios and goal models using inductive learning
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the...
Dalal Alrajeh, Alessandra Russo, Sebastián ...