4895 search results - page 361 / 979 » Tools for Grammar Engineering |
137
click to vote
RE
2005
Springer
16 years 6 days ago
2005
Springer
Our group has taken a clinical approach to doing requirements engineering for a specific domain: delivering email tools to the cognitively impaired population. The clinical view s...
174
Voted
WOSP
2004
ACM
16 years 4 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
201
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
166
click to vote
GPCE
2009
Springer
15 years 11 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...
190
click to vote
IWPC
1998
IEEE
15 years 11 months ago
1998
IEEE
Cognitive science emphasizes the strength of visual formalisms for human learning and problem solving. In software engineering, a clear, visual presentation of a system's arc...