Sciweavers

8083 search results - page 53 / 1617
» A Formalization of Software Architecture
Sort
View
ICSE
2000
IEEE-ACM
13 years 11 months ago
Software architecture: a roadmap
Over the past decade software architecture has received increasing attention as an important subfield of software engineering. During that time there has been considerable progres...
David Garlan
DEXA
1997
Springer
179views Database» more  DEXA 1997»
13 years 11 months ago
Linking Object-Oriented Conceptual Modeling with Object-Oriented Implementation in Java
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...
SELMAS
2004
Springer
14 years 29 days ago
Integrating Free-Flow Architectures with Role Models Based on Statecharts
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Danny Weyns, Elke Steegmans, Tom Holvoet
WSC
2008
13 years 10 months ago
Architecture for modeling, simulation, and execution of PLC based manufacturing system
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
Devinder Thapa, Chang Mok Park, Kwan Hee Han, Sang...
FCA
2005
Springer
201views Formal Methods» more  FCA 2005»
14 years 1 months ago
A Survey of Formal Concept Analysis Support for Software Engineering Activities
Formal Concept Analysis (FCA) has typically been applied in the field of software engineering to support software maintenance and object-oriented class identification tasks. This...
Thomas Tilley, Richard Cole, Peter Becker 0002, Pe...