1809 search results - page 172 / 362 » A Formal Specification of dMARS |
DEXA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
HICSS
2002
IEEE
14 years 2 months ago
2002
IEEE
The model presented in this paper incorporates various causal and feedback loops in the structure of the dynamic decision-making processes and performance in nonequity alliances. ...
IEEEICCI
2002
IEEE
14 years 2 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
HICSS
2000
IEEE
14 years 1 months ago
2000
IEEE
Computerized clinical guidelines can provide significant benefits to health outcomes and costs, however, their effective implementation presents significant problems. Vagueness an...
ICECCS
2000
IEEE
14 years 1 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...