7206 search results - page 266 / 1442 » Using a Hypermedia System for Systems Engineering |
177
click to vote
ERCIMDL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
169
click to vote
AAAI
1994
15 years 7 months ago
1994
We present a formal theory of model-based testing, an algorithm for test generation based on it, and outline how testing is implemented by a diagnostic engine. The key to making t...
169
click to vote
KBSE
2008
IEEE
16 years 29 days ago
2008
IEEE
Open-source development, social production, social networks and other factors change the way we understand software systems. The paper motivates the use of social thinking to desi...
150
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
In model-driven engineering, metamodels may get lost over time resulting in the inability to load and view existing model instances. MARS is a system that recovers metamodels from...
136
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...