1713 search results - page 150 / 343 » Modeling and Engineering Adaptive Complex Systems |
ASM
2008
ASM
15 years 2 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
143
click to vote
SPLC
2007
15 years 1 months ago
2007
Software product line engineering aims to reduce development time, effort, cost, and complexity by taking advantage of the commonality within a portfolio of similar products. The ...
100
Voted
AOSD
2006
ACM
15 years 6 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
129
Voted
SERA
2010
Springer
14 years 10 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
141
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...