715 search results - page 47 / 143 » Application of Formal Methods to the Development of a Softwa... |
ICSE
2007
IEEE-ACM
14 years 2 months ago
2007
IEEE-ACM
Given the inevitable trends towards increasing complexity of software-intensive systems, many future software-intensive systems will be ultra-large scale (ULS). Radical scale-up o...
ICSE
2010
IEEE-ACM
13 years 7 months ago
2010
IEEE-ACM
Due to the negative impact of code cloning on software maintenance efforts as well as on program correctness [4–6], the duplication of code is generally viewed as problematic. ...
CSMR
2011
IEEE
13 years 15 days ago
2011
IEEE
Abstract—Developers introduce novel and undocumented micro-architectures when performing evolution tasks on object-oriented applications. We are interested in understanding wheth...
UML
2001
Springer
14 years 1 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
ZUM
2000
Springer
14 years 9 days ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...