2748 search results - page 464 / 550 » Generating Object-Z Specifications from Use Cases |
179
Voted
CONCURRENCY
2000
15 years 3 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...
128
click to vote
CASES
2006
ACM
15 years 9 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
125
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
120
Voted
FQAS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Many heterogeneous database system products and prototypes exist today; they will soon be deployed in a wide variety of environments. Most existing systems suffer from an...
134
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...