Sciweavers

767 search results - page 21 / 154
» Evolving Software Architecture Descriptions of Critical Syst...
Sort
View
JUCS
2007
110views more  JUCS 2007»
15 years 5 months ago
Self-Evolving Petri Nets
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
Lorenzo Capra, Walter Cazzola
EWSA
2004
Springer
15 years 11 months ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
15 years 11 months ago
Search Based Automatic Test-Data Generation at an Architectural Level
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
Yuan Zhan, John A. Clark
IJAOSE
2008
68views more  IJAOSE 2008»
15 years 6 months ago
Engineering manufacturing control systems using PROSA and delegate MAS
: This paper presents a systematic description of a reusable software architecture for multi-agent systems in the domain of manufacturing control. The architectural description con...
Paul Verstraete, Bart Saint Germain, Paul Valckena...
VLSID
2002
IEEE
174views VLSI» more  VLSID 2002»
16 years 6 months ago
Architecture Implementation Using the Machine Description Language LISA
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
Oliver Schliebusch, Andreas Hoffmann, Achim Nohl, ...