Sciweavers

7209 search results - page 218 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
ICECCS
2007
IEEE
86views Hardware» more  ICECCS 2007»
14 years 2 months ago
What Use is Verified Software?
The world at large cares little for verified software; what it cares about are trustworthy and cost-effective systems that do their jobs well. We examine the value of verified sof...
John M. Rushby
VAMOS
2008
Springer
14 years 1 days ago
Interactive Visualisation to Support Product Configuration in Software Product Lines
Software Product Line engineering allows companies to realise significant improvements in timeto-market, cost, productivity, and system quality. One major difficulty with software...
Ciarán Cawley, Daren Nestor, André P...
CISIS
2010
IEEE
14 years 5 months ago
Integrating Production Automation Expert Knowledge Across Engineering Stakeholder Domains
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
Thomas Moser, Stefan Biffl, Wikan Danar Sunindyo, ...
ASWEC
2005
IEEE
14 years 4 months ago
A Comparison of Reverse Engineering Tools Based on Design Pattern Decomposition
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
Francesca Arcelli Fontana, Stefano Masiero, Claudi...
WCRE
2005
IEEE
14 years 4 months ago
Enriching Reverse Engineering with Semantic Clustering
Understanding a software system by just analyzing the structure of the system reveals only half of the picture, since the structure tells us only how the code is working but not w...
Adrian Kuhn, Stéphane Ducasse, Tudor G&icir...