Sciweavers

15636 search results - page 16 / 3128
» Modelling by supersaturated designs
Sort
View
ICECCS
2005
IEEE
89views Hardware» more  ICECCS 2005»
15 years 3 months ago
A Tool-Supported Approach to Testing UML Design Models
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh,...
ICSE
2010
IEEE-ACM
15 years 2 months ago
CoDesign: a highly extensible collaborative software modeling framework
Large, multinational software development organizations face a number of issues in supporting software design and modeling by geographically distributed architects. To address the...
Jae young Bang, Daniel Popescu, George Edwards, Ne...
HICSS
2002
IEEE
116views Biometrics» more  HICSS 2002»
15 years 2 months ago
Multiagent Modeling and Simulation in Human-Robot Mission Operations Work System Design
This paper describes a collaborative multiagent modeling and simulation approach for designing work systems. The Brahms environment is used to model mission operations for a semi-...
Maarten Sierhuis, William J. Clancey, Michael H. S...
CBSE
2005
Springer
15 years 3 months ago
A Component-Oriented Model for the Design of Safe Multi-threaded Applications
We previously developed a component-oriented model that combines ideas from self-organizing architectures and from design by contract to address the complexity of design in multi-t...
Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Di...
EUROMICRO
2006
IEEE
15 years 3 months ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...