2748 search results - page 50 / 550 » Generating Object-Z Specifications from Use Cases |
102
click to vote
INFSOF
2008
15 years 20 days ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
127
click to vote
CASCON
1997
15 years 2 months ago
1997
The purpose of the Distributed Management Framework (DMF) is to provide a layer of ion at a level convenient for management application developers. Specifically, it liberates the ...
100
Voted
ENTCS
2002
15 years 14 days ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
140
Voted
DOLAP
2000
ACM
15 years 5 months ago
2000
ACM
Generating tool specific schemata and configuration information for OLAP database tools from conceptual graphical models is an important prerequisite for a comprehensive tool supp...
103
click to vote
IEEESCC
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...