2748 search results - page 232 / 550 » Generating Object-Z Specifications from Use Cases |
90
Voted
VLDB
1998
ACM
15 years 5 months ago
1998
ACM
A broad spectrum of data is available on the Web in distinct heterogeneous sources, and stored under different formats. As the number of systems that utilize this heterogeneous da...
103
Voted
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
101
Voted
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
118
Voted
IJCSA
2007
15 years 23 days ago
2007
This article presents experiences in the automation of a testing process. The main goal is the unified testing of not only one program, but a whole family of programs. The family ...
113
click to vote
RE
2006
Springer
15 years 23 days ago
2006
Springer
This paper introduces an information retrieval based approach for automating the detection and classification of non-functional requirements (NFRs). Early detection of NFRs is use...