14244 search results - page 2441 / 2849 » Modeling Program Predictability |
120
Voted
GI
2001
Springer
15 years 8 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
103
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
Real-time Systems, in particular regulation systems, are often specified using the notion of running modes. On the other hand, the family of synchronous languages [1] has been ve...
137
Voted
WECWIS
2000
IEEE
15 years 8 months ago
2000
IEEE
In order to meet the quality of service demanded by a growing number of online customers, e-commerce services need to use scalability techniques. This paper introduces the concept...
126
Voted
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
- This paper presents software synthesis techniques to deal with non-primitive data type from graphical dataflow programs based on the synchronous dataflow (SDF) model. Non-primiti...
148
click to vote
FMSP
2000
ACM
15 years 8 months ago
2000
ACM
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...