2776 search results - page 480 / 556 » System-Level Abstraction Semantics |
ECOOP
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. One of the costs of reusing software components is updating applications to use the new version of the components. Updating an application can be error-prone, tedious, an...
EELC
2006
14 years 1 months ago
2006
Abstract. According to the functional approach to language evolution (inspired by cognitive linguistics and construction grammar), grammar arises to deal with issues in communicati...
FM
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
AC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...