245 search results - page 27 / 49 » Formal Methods in Industrial Software Standards Enforcement |
ISPW
2005
IEEE
14 years 1 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
GECCO
2004
Springer
14 years 27 days ago
2004
Springer
Software systems are used regularly in safety-relevant applications. Therefore, the occurrence of critical defects may not only cause costly recalls but may also endanger human liv...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Existing ADLs (Architecture Description Languages) have an advantage of formally specifying the architecture of component-based systems. But ADLs have not come into extensive use ...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...
PROMISE
2010
13 years 2 months ago
2010
As software has been pervasive and various software projects have been executed since the 1970s, software project management has played a significant role in software industry. Th...