1091 search results - page 43 / 219 » The State of Cognitive Systems Engineering |
ICFEM
2003
Springer
14 years 26 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
INDIASE
2009
ACM
14 years 10 days ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
PGLDB
2003
13 years 9 months ago
2003
The use of the Plan Recognition/Plan Generation paradigm in the context of corporate training is discussed. The learning environment is grounded on three-level conceptual schemas ...