Sciweavers

5904 search results - page 29 / 1181
» Requirements for a Composition Language
Sort
View
ASE
2005
102views more  ASE 2005»
13 years 7 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
CCE
2004
13 years 7 months ago
Time (energy) requirements in closed batch distillation arrangements
Batch time (energy) requirements are provided for the separation of a zeotropic mixture in three batch column configurations. The separation tasks were performed in two different ...
S. Skouras, Sigurd Skogestad
RE
2004
Springer
14 years 1 months ago
Composing Requirements Using Problem Frames
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
Robin C. Laney, Leonor Barroca, Michael Jackson, B...
DAIS
1997
13 years 9 months ago
An Integration Framework for Open Tool Environments
Tool environments supporting the development of complex products need to be open and flexible. These requirements cannot be fulfilled in an adequate way by predefined coordinat...
Georg Paul, Kai-Uwe Sattler, Martin Endig
SIGCSE
1995
ACM
137views Education» more  SIGCSE 1995»
13 years 11 months ago
Requirements for a first year object-oriented teaching language
Interest in teaching object-oriented programming in first year computer science courses has increased substantially over the last few years. While the theoretical advantages are c...
Michael Kölling, Bett Koch, John Rosenberg