Sciweavers

8083 search results - page 235 / 1617
» A Formalization of Software Architecture
Sort
View
DAC
2001
ACM
16 years 7 months ago
High-level Software Energy Macro-modeling
Tat Kee Tan, Anand Raghunathan, Ganesh Lakshminara...
DAC
2002
ACM
16 years 7 months ago
Complex library mapping for embedded software using symbolic algebra
Armita Peymandoust, Giovanni De Micheli, Tajana Si...
UML
2001
Springer
15 years 11 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ICFCA
2010
Springer
16 years 1 months ago
Describing Role Models in Terms of Formal Concept Analysis
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
Henri Mühle, Christian Wende