913 search results - page 17 / 183 » Toward Formalizing Structured Analysis |
137
click to vote
GG
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Triple Graph Grammars (TGGs) are a well-established concept for the specification of model transformations. In previous work we have formalized and analyzed already cruc...
112
click to vote
AIIDE
2008
15 years 4 months ago
2008
Dialogue in commercial games is largely created by teams of writers and designers who hand-author every line of dialogue and hand-specify the dialogue structure using finite state...
114
click to vote
EDBT
2011
ACM
14 years 6 months ago
2011
ACM
Although deep web analysis has been studied extensively, there is no succinct formalism to describe user interactions with AJAX-enabled web applications. Toward this end, we intro...
139
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
141
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...