×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [semiformal specification]
Home >
semiformal specification
Toward Automatic Generation of Models with Probes from the SDL System Specification
160 views
Ontologies Reasoning Components Agents Simulations Ontologies Jacques Robin.
227 views
Ontologies Reasoning Components Agents Simulations Ontologies and Agent Oriented Knowledge Representation Jacques Robin.
220 views
Ontologies and the Object-Constraint Language (OCL)
54 views
Structured Analysis
24 views