234 search results - page 5 / 47 » Validation of requirement models by automatic prototyping |
ICONS
2009
IEEE
15 years 5 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
DSVIS
1994
Springer
15 years 2 months ago
1994
Springer
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
75
Voted
LADS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
92
Voted
ERCIMDL
2006
Springer
15 years 2 months ago
2006
Springer
Digital Object Prototypes (DOPs) provide the DL designer with the ability to model diverse types of digital objects in a uniform manner while offering digital object type conforman...
87
Voted
RSP
2003
IEEE
15 years 4 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...