5407 search results - page 343 / 1082 » The Software Engineering Global Model |
195
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...
148
click to vote
VMCAI
2010
Springer
16 years 4 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'...
189
click to vote
HICSS
2002
IEEE
15 years 11 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 ...
179
click to vote
EWSA
2004
Springer
16 years 5 days 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....
156
click to vote
ESEM
2009
ACM
16 years 1 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...