2748 search results - page 162 / 550 » Generating Object-Z Specifications from Use Cases |
105
Voted
AH
2006
Springer
15 years 2 months ago
2006
Springer
Personalised elearning is being heralded as one of the grand challenges of next generation learning systems, in particular, its ability to support greater effectiveness, efficiency...
145
click to vote
JCB
2002
15 years 9 days ago
2002
There are many algorithms to cluster sample data points based on nearness or a similarity measure. Often the implication is that points in different clusters come from different u...
97
Voted
KBSE
1998
IEEE
15 years 4 months ago
1998
IEEE
Starting from a graphical data model (a subset of the OMT object model), a skeleton of formal specification can be generated and completed to express several constraints and provi...
114
click to vote
FLAIRS
2007
15 years 3 months ago
2007
We describe an algorithm and experiments for inference of edge replacement graph grammars. This method generates candidate recursive graph grammar productions based on isomorphic ...
86
Voted
ICSE
2003
IEEE-ACM
16 years 22 days ago
2003
IEEE-ACM
g Test Suites via Operational Abstraction Michael Harder Jeff Mellen Michael D. Ernst MIT Lab for Computer Science 200 Technology Square Cambridge, MA 02139 USA {mharder,jeffm,mern...