2253 search results - page 7 / 451 » An Approach to Specifying Software Frameworks |
ICFEM
1997
Springer
14 years 22 days ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
WSC
2007
13 years 11 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
RE
2004
Springer
14 years 1 months ago
2004
Springer
Current use case guidelines typically recommend a goal-driven process for use case creation and, in many cases, this approach indeed works sufficiently well. Yet, in our experienc...
FMCO
2003
Springer
14 years 1 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...
APSEC
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...