1823 search results - page 76 / 365 » Formal specification: a roadmap |
141
click to vote
JUCS
2008
15 years 4 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...
124
click to vote
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...
144
click to vote
COLING
1996
15 years 5 months ago
1996
Automatic compilation of the linking relation employed in certain parsing algorithms for context-free languages is examined. Special problems arise in the extension of these algor...
122
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
An organizational modeling language can be used to specify an agent organization in terms of its roles, organizational structure, norms, etc. Such an organizational specification ...
121
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...