8083 search results - page 239 / 1617 » A Formalization of Software Architecture |
199
click to vote
WICSA
2007
15 years 7 months ago
2007
The software architecture is one of the most important artifacts created in the lifecycle of a software system. It enables, facilitates, hampers, or interferes directly the achiev...
180
click to vote
EUROMICRO
2007
IEEE
16 years 27 days ago
2007
IEEE
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
308
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
146
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
165
click to vote
ISEMANTICS
2010
15 years 8 months ago
2010
We present the STEX system, a semantic extension of LATEX, that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic XML/OMDoc docu...