Sciweavers

9989 search results - page 87 / 1998
» A CLP Approach to Modelling Systems
Sort
View
ER
2004
Springer
161views Database» more  ER 2004»
15 years 9 months ago
Applying the Application-Based Domain Modeling Approach to UML Structural Views
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
Arnon Sturm, Iris Reinhartz-Berger
CAI
2010
Springer
15 years 1 months ago
SMA - The Smyle Modeling Approach
Abstract. This paper introduces the model-based software development lifecycle model SMA--the Smyle Modeling Approach--which is centered around Smyle. Smyle is a dedicated learning...
Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern...
IEAAIE
2005
Springer
15 years 9 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
SIGSOFT
2000
ACM
15 years 8 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
Reimer Behrends, Kurt Stirewalt
APSEC
2005
IEEE
15 years 9 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