Sciweavers

Share
EMSOFT
2010
Springer
9 years 7 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
CORR
2002
Springer
101views Education» more  CORR 2002»
9 years 10 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
JSS
2008
90views more  JSS 2008»
9 years 10 months ago
Early quality monitoring in the development of real-time reactive systems
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
Olga Ormandjieva, Vangalur S. Alagar, Mao Zheng
WOA
2004
9 years 11 months ago
Using Method Engineering for the Construction of Agent-Oriented Methodologies
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
Giancarlo Fortino, Alfredo Garro, Wilma Russo
EXACT
2008
10 years 23 days ago
A Temporal Abductive Diagnostic Process for Runtime Properties Violations
The monitoring of properties of complex software systems can provide the core functionality for detecting violations of such properties. However, the violations detection cannot be...
Theocharis Tsigkritis, George Spanoudakis
IWSAS
2000
Springer
10 years 2 months ago
Model-Integrated Embedded Systems
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
Ákos Lédeczi, Arpad Bakay, Miklos Ma...
FASE
2000
Springer
10 years 2 months ago
A Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, "improved" models. Examples of such models are arc...
Alexander Egyed, Nenad Medvidovic
EDOC
2009
IEEE
10 years 2 months ago
Realizing Correspondences in Multi-viewpoint Specifications
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
José Raúl Romero, Juan Ignacio Jaen,...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
10 years 2 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
UML
2001
Springer
10 years 2 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
books