1856 search results - page 83 / 372 » Formal Dialectic Specification |
165
click to vote
IFIP
1992
Springer
15 years 8 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
162
click to vote
ECMDAFA
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
139
click to vote
CODES
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
139
Voted
JUCS
2008
15 years 3 months ago
2008
: Prediction of the quality attributes of software architectures requires technologies that enable the application of analytic theories to component models. However, available anal...
122
Voted
ICALT
2007
IEEE
15 years 10 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...