1523 search results - page 119 / 305 » Software Development Improvement with SFIM |
158
click to vote
WSC
2008
15 years 8 months ago
2008
For simulation practitioners, the common steps in a simulation modeling engagement are likely familiar: problem assessment, requirements specification, model building, verificatio...
192
click to vote
FOSSACS
2008
Springer
15 years 7 months ago
2008
Springer
The problem of converting deterministic finite automata into (short) regular expressions is considered. It is known that the required expression size is 2(n) in the worst case for ...
145
click to vote
SOFTWARE
1998
15 years 5 months ago
1998
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
169
click to vote
FMAM
2010
15 years 4 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
149
click to vote
APSEC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...