Sciweavers

4061 search results - page 471 / 813
» Framework Evolution Tool
Sort
View
JSS
2010
215views more  JSS 2010»
15 years 5 months ago
Analyzing architectural styles
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
Jung Soo Kim, David Garlan
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 4 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 4 months ago
Testing by C++ template metaprograms
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
Norbert Pataki
EMSOFT
2010
Springer
15 years 4 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...
IJAOSE
2010
183views more  IJAOSE 2010»
15 years 4 months ago
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
: The complexity and scope of software systems continues to grow. One approach to dealing with this growing complexity is the use of intelligent, multi-agent systems. However, due ...
Scott A. DeLoach, Juan C. García-Ojeda