1823 search results - page 129 / 365 » Formal specification: a roadmap |
212
click to vote
ASE
2006
15 years 6 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
177
click to vote
ENTCS
2002
15 years 6 months 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...
164
click to vote
ICSE
2004
IEEE-ACM
15 years 12 months ago
2004
IEEE-ACM
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
168
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
146
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...