1481 search results - page 126 / 297 » Enriching the Software Development Process by Formal Methods |
119
Voted
FORTEST
2008
15 years 5 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
143
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
117
Voted
AIED
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an agent-based approach to assisting learners to dynamically adjust learning processes. The online learning process is first investigated where the importance ...
125
Voted
FSTTCS
2003
Springer
15 years 8 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
134
Voted
ER
1998
Springer
15 years 7 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...