168 search results - page 26 / 34 » Towards validated real-time software |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
SAFECOMP
1999
Springer
14 years 2 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
CSFW
2010
IEEE
14 years 1 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
ECOWS
2006
Springer
14 years 1 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
RE
2006
Springer
13 years 9 months ago
2006
Springer
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...