Sciweavers

3765 search results - page 593 / 753
» Formal Methods for Systems Engineering Behavior Models
Sort
View
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
Management of Portal Evolution
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...
Hong Tuan Kiet Vo, Helmuth Elsner
SOPR
1998
117views more  SOPR 1998»
15 years 6 months ago
Software processes: a retrospective and a path to the future
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
Gianpaolo Cugola, Carlo Ghezzi
AAAI
1997
15 years 7 months ago
Building Concept Representations from Reusable Components
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
Peter Clark, Bruce W. Porter
ATAL
2011
Springer
14 years 6 months ago
Decomposing constraint systems: equivalences and computational properties
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
Wiebe van der Hoek, Cees Witteveen, Michael Wooldr...
OPODIS
2004
15 years 8 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis