8623 search results - page 411 / 1725 » Software engineering for secure systems |
200
click to vote
EWSA
2004
Springer
16 years 1 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
181
click to vote
SIGSOFT
2003
ACM
16 years 8 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
226
click to vote
IWPC
2006
IEEE
16 years 1 months ago
2006
IEEE
Large software systems have a rich development history. Mining certain aspects of this rich history can reveal interesting insights into the system and its structure. Previous app...
183
click to vote
EDOC
2008
IEEE
16 years 2 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
176
click to vote
CN
1998
15 years 7 months ago
1998
XML has been proposed in order to bring to the web a markup language free of the shortcomings of HTML, in particular the inextensibility of the set of valid elements (tags). Style...