15779 search results - page 294 / 3156 » Change-oriented software engineering |
178
click to vote
FSTTCS
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular...
160
click to vote
RE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--We argue for the creation and use of a very lightweight requirements modeling language as an alternative to textual and pictorial requirements specifications.
161
click to vote
TASE
2010
IEEE
15 years 2 months ago
2010
IEEE
System and program verification has been a large
162
Voted
APIN
2011
14 years 11 months ago
2011
