3555 search results - page 183 / 711 » Security-Critical System Development with Extended Use Cases |
129
click to vote
IJIT
2004
15 years 5 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
142
Voted
MDM
2009
Springer
15 years 8 months ago
2009
Springer
—In this paper we describe a prototype system of identifying environment condition utilizing signals emitted by people. Many people move around in many places such as urban and m...
192
click to vote
LPAR
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
148
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
118
click to vote
PRDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...