4799 search results - page 709 / 960 » Model Based Requirements Engineering for Embedded Software |
168
click to vote
APN
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
193
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
Combining static and dynamic information is highly relevant in many reverse engineering, program comprehension and maintenance task. Dynamic analysis is particularly effective whe...
172
click to vote
SSIRI
2010
15 years 4 months ago
2010
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
165
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
183
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...