Sciweavers

5 search results - page 1 / 1
» Delimited Control in OCaml, Abstractly and Concretely: Syste...
Sort
View
ICSE
2011
IEEE-ACM
12 years 9 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
IEAAIE
1998
Springer
13 years 10 months ago
Generating Heuristics to Control Configuration Processes
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
Benno Stein
MODELS
2010
Springer
13 years 4 months ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe
CSCW
2004
ACM
13 years 5 months ago
Small-Scale Classification Schemes: A Field Study of Requirements Engineering
Small-scale classification schemes are used extensively in the coordination of cooperative work. This study investigates the creation and use of a classification scheme for handlin...
Morten Hertzum