803 search results - page 45 / 161 » Building Formal Models for Software Requirements |
112
Voted
EVOW
2010
Springer
15 years 8 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
99
Voted
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
The conflicting requirements of real-time embedded systems, e.g. minimizing memory usage while still ensuring that all deadlines are met at run-time, require rigorous analysis of...
117
click to vote
BELL
2000
15 years 1 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
122
click to vote
IGPL
2007
15 years 1 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
137
click to vote
FUIN
2006
15 years 1 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...