10159 search results - page 366 / 2032 » System Design Validation Using Formal Models |
154
click to vote
TOSEM
2002
15 years 3 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
136
click to vote
RTAS
1998
IEEE
15 years 8 months ago
1998
IEEE
Windows NT was not designed as a real-time operating system, but market forces and the acceptance of NT in industrial applications have generated a need for achieving real-time fu...
136
click to vote
PGLDB
2003
15 years 5 months ago
2003
There is nowadays a lot of interest in the field of Instructional Design. The focus is still on theories and methodology of Instructional System Design (ISD), which are the fundam...
125
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
136
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
- The important step towards a comprehensive CAD framework is the development of a suitable, complete design model on which the design system’s components are based. To date, we ...