Sciweavers

1968 search results - page 244 / 394
» System Ontology and its role in Software Development
Sort
View
FM
2003
Springer
104views Formal Methods» more  FM 2003»
15 years 11 months ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
WOSP
1998
ACM
15 years 10 months ago
Poems: end-to-end performance design of large parallel adaptive computational systems
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
Ewa Deelman, Aditya Dube, Adolfy Hoisie, Yong Luo,...
ICSM
2005
IEEE
16 years 5 days ago
The Top Ten List: Dynamic Fault Prediction
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
Ahmed E. Hassan, Richard C. Holt
METAINFORMATICS
2004
Springer
15 years 12 months ago
Describing Use Cases with Activity Charts
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
Jesús Manuel Almendros-Jiménez, Luis...
GCC
2009
Springer
15 years 4 months ago
On HLA-Based Collaborative Simulation Techniques
The design and development of a complex system as well as the simulation of its dynamic behavior are usually involved in multidisciplinary field knowledge. HLA-based collaborative ...
Fan Miao Miao, Fan Yu Shun