4919 search results - page 321 / 984 » A Process-Ontological Model for Software Engineering |
159
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
149
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
116
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
137
click to vote
EWSA
2004
Springer
15 years 10 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....
122
Voted
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...