2896 search results - page 8 / 580 » Curricula Modeling and Checking |
125
click to vote
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
106
Voted
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
99
Voted
FBT
2000
15 years 4 months ago
2000
140
click to vote
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
148
click to vote
MOVEP
2000
15 years 6 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...