875 search results - page 42 / 175 » Specification Modules for Methodical System Development |
102
click to vote
ICFEM
1997
Springer
15 years 1 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
ACL
2012
13 years 5 days ago
2012
Social Event Radar is a new social networking-based service platform, that aim to alert as well as monitor any merchandise flaws, food-safety related issues, unexpected eruption o...
IEEESP
2006
14 years 9 months ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
APN
2003
Springer
15 years 3 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
103
click to vote
IJCIM
2002
14 years 9 months ago
2002
In this paper the architectures and usability issues of web-based software tools are discussed. For the development of automobile lighting components, various designers, developers...