5234 search results - page 517 / 1047 » Method Components - Rationale Revealed |
216
click to vote
AGTIVE
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
209
click to vote
FMCO
2003
Springer
16 years 5 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
162
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
187
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
205
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...