Sciweavers

2698 search results - page 301 / 540
» Software Process Model Blueprints
Sort
View
UML
2000
Springer
15 years 10 months ago
UMLi: The Unified Modeling Language for Interactive Applications
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
Paulo Pinheiro da Silva, Norman W. Paton
UML
1997
Springer
15 years 10 months ago
Evaluation of Object-Oriented Modelling Languages: A Comparison Between OML and UML
The following article is motivated by the current efforts of the Object Management Group (OMG) to standardize object-oriented modelling languages. In the face of the great economi...
Michael Prasse
SPIN
2010
Springer
15 years 4 months ago
Efficient Explicit-State Model Checking on General Purpose Graphics Processors
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
Stefan Edelkamp, Damian Sulewski
MEMOCODE
2008
IEEE
16 years 29 days ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
CLEIEJ
2004
123views more  CLEIEJ 2004»
15 years 6 months ago
BMM: A Business Modeling Method For Information Systems Development
An important premise of most of the contemporary methods for developing Software and Information Systems is that a good understanding of the application domain is essential for a ...
Jonás A. Montilva Calderón, Judith B...