1856 search results - page 163 / 372 » Formal Dialectic Specification |
116
click to vote
ICALT
2006
IEEE
15 years 10 months ago
2006
IEEE
Competence-based approaches in the field of formal or non-formal education and training are becoming more common and appear to offer the opportunity to develop programmes that mee...
121
Voted
ISESE
2005
IEEE
15 years 10 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
125
click to vote
SEW
2005
IEEE
15 years 10 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
113
click to vote
CONTEXT
2005
Springer
15 years 10 months ago
2005
Springer
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
152
click to vote
BIRTHDAY
2007
Springer
15 years 8 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...