1809 search results - page 24 / 362 » A Formal Specification of dMARS |
ADAEUROPE
2001
Springer
14 years 15 hour ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
MODELS
2007
Springer
14 years 1 months ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...
EUROMICRO
2000
IEEE
13 years 12 months ago
2000
IEEE
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supp...
ICALT
2007
IEEE
14 years 1 months ago
2007
IEEE
Health professions education has moved away from process-based curricula to competency-based curricula. Machine readable and processable health care competencies are still embryon...