Sciweavers

25218 search results - page 326 / 5044
» A Logic-Based Information System
Sort
View
ICEIS
1999
IEEE
15 years 12 months ago
Generating Object-Z Specifications from Use Cases
Ana M. D. Moreira, João Araújo
CISMOD
1993
15 years 11 months ago
Concurrency Control of Persistent Object Transactions in CORAL
Barrett R. Bryant, Chandrasekaran Venkatapathy, Da...