1146 search results - page 18 / 230 » Formal Specification Generation from Requirement Documents |
CPAIOR
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
105
click to vote
APSEC
2001
IEEE
15 years 1 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
103
Voted
ACL
2010
14 years 7 months ago
2010
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...
111
click to vote
ASE
2006
14 years 9 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...
FORTE
2008
14 years 11 months ago
2008
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...