8083 search results - page 122 / 1617 » A Formalization of Software Architecture |
CBSE
2006
Springer
14 years 3 days ago
2006
Springer
This paper presents a software product line architecture where applications are assembled by installing a set of plugins on a common software base. In this architecture, the softwa...
SIGSOFT
2001
ACM
14 years 11 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
RE
1997
Springer
14 years 2 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
ASWEC
2000
IEEE
14 years 2 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
We present an overview of a software architecting method and visual language we call Visual Frameworks. The method creates concrete, strongly typed software architectures throu...