2748 search results - page 18 / 550 » Generating Object-Z Specifications from Use Cases |
CORR
2011
Springer
13 years 10 days ago
2011
Springer
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
CAISE
1997
Springer
14 years 22 days ago
1997
Springer
Meta-CASE tools are used to generate CASE tools; KOGGE is such a meta-CASE system. Two of KOGGE's main objectives are adaptability and flexibility which address the growing ne...
GG
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
FTDCS
1997
IEEE
14 years 24 days ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...