Sciweavers

442 search results - page 28 / 89
» Dependency Charts as a Means to Model Inter-Scenario Depende...
Sort
View
ICST
2009
IEEE
13 years 6 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
HICSS
2005
IEEE
140views Biometrics» more  HICSS 2005»
14 years 2 months ago
A Role-Based Framework for Business Process Modeling
Business objects are object-oriented representations of the concepts of interest in an organization, such as activities, resources and actors. Business objects collaborate with on...
Artur Caetano, Marielba Zacarias, António R...
HPCN
1995
Springer
14 years 8 days ago
A model-driven tool for performance measurement and analysis of parallel programs
The performance of parallel computing systems is strongly dependent on the runtime behaviour of parallel programs. This paper describes a new approach to measure and analyze the ru...
Xiandeng Huang, Christoph Steigner
DSN
2007
IEEE
14 years 3 months ago
Enhanced Reliability Modeling of RAID Storage Systems
A flexible model for estimating reliability of RAID storage systems is presented. This model corrects errors associated with the common assumption that system times to failure fol...
Jon G. Elerath, Michael Pecht
UML
2004
Springer
14 years 2 months ago
Query Models
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
Dominik Stein, Stefan Hanenberg, Rainer Unland