234 search results - page 17 / 47 » Validation of requirement models by automatic prototyping |
108
Voted
ER
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
ICIS
1998
15 years 7 days ago
1998
Many organizations are in the process of replacing legacy systems with large, integrated systems using new technological platforms. Accurate estimation of project resources requir...
102
Voted
WOSP
2005
ACM
15 years 4 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
ECAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Editing graphic models always entails layout problems. Inserting and deleting items requires tedious manual work for shifting existing items and rearranging the diagram layout. He...