Sciweavers

4438 search results - page 621 / 888
» The Case for Collaborative Programming
Sort
View
BIRTHDAY
2005
Springer
16 years 5 days ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
CAISE
2005
Springer
16 years 5 days ago
The Association Construct in Conceptual Modelling - An Analysis Using the Bunge Ontological Model
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
Joerg Evermann
CPAIOR
2005
Springer
16 years 5 days ago
A Search-Infer-and-Relax Framework for Integrating Solution Methods
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
John N. Hooker
EWSA
2005
Springer
16 years 5 days ago
Managing Dynamic Reconfiguration in Component-Based Systems
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
Thaís Vasconcelos Batista, Ackbar Joolia, G...
173
Voted
FASE
2005
Springer
16 years 5 days ago
Improving the Build Architecture of Legacy C/C++ Software Systems
Abstract. The build architecture of legacy C/C++ software systems, groups program files in directories to represent logical components. The interfaces of these components are loos...
Homayoun Dayani-Fard, Yijun Yu, John Mylopoulos, P...