1481 search results - page 109 / 297 » Enriching the Software Development Process by Formal Methods |
188
Voted
AGTIVE
2007
Springer
15 years 7 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...
137
Voted
ICSE
1989
IEEE-ACM
15 years 7 months ago
1989
IEEE-ACM
The Inscape Environment is an integrated software development enviroment for building large software systems by large groups of developers. It provides tools that are knowledgeabl...
125
Voted
CBSQ
2003
Springer
15 years 8 months ago
2003
Springer
There is growing interest in the notion of software development through the planned integration of COTS (Commercial Off-The-Shelf) products. The potential advantages of this integ...
150
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
134
Voted
ASWEC
2010
IEEE
15 years 3 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...