4895 search results - page 296 / 979 » Tools for Grammar Engineering |
178
click to vote
AVI
2008
15 years 9 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
165
Voted
AVI
1994
15 years 8 months ago
1994
Hand drawn diagrams are essential tools for thinking and communicating in the early phases of design, yet computer based drawing tools support diagramming and sketching only poorl...
150
click to vote
ENTCS
2006
15 years 6 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
144
click to vote
RE
2006
Springer
15 years 6 months ago
2006
Springer
Pre-requirements specification tracing concerns the identification and maintenance of relationships between requirements and the knowledge and information used by analysts to info...
165
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...