1481 search results - page 228 / 297 » Enriching the Software Development Process by Formal Methods |
ISBI
2006
IEEE
16 years 17 days ago
2006
IEEE
The emergence of open-source libraries and development tools in the last decade has changed the process of academic software development in many ways. In medical image processing ...
102
click to vote
UML
2000
Springer
15 years 3 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
ICSE
2005
IEEE-ACM
15 years 12 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...
122
click to vote
JAIR
2006
14 years 12 months ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
WSC
1998
15 years 1 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...