Sciweavers

1900 search results - page 41 / 380
» The Four Phase Method for Modelling Complex Systems
Sort
View
CAISE
1997
Springer
15 years 1 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
EEF
2000
15 years 1 months ago
Distributed and Structured Analysis Approaches to Study Large and Complex Systems
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
Gianfranco Ciardo
WER
2004
Springer
15 years 3 months ago
A pattern language to join early and late requirements
At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational c...
Alicia Martínez, Oscar Pastor, Hugo Estrada
WSCG
2003
142views more  WSCG 2003»
14 years 11 months ago
Melting Objects
This paper describes a technique for producing realistic animations of melting objects. The work presented here introduces a method that accurately models both thermal flow and t...
Mark W. Jones
ECBS
2008
IEEE
124views Hardware» more  ECBS 2008»
14 years 11 months ago
Hierarchical Model to Develop Component-Based Systems
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
Abdelkrim Amirat, Mourad Oussalah