Sciweavers

1523 search results - page 170 / 305
» Software Development Improvement with SFIM
Sort
View
JOT
2006
76views more  JOT 2006»
15 years 6 months ago
Architecture-Related Requirements
The engineering of architecture-related requirements has proven to be a very difficult task for requirements engineers. It is also a task that experience has shown could use signi...
Donald Firesmith, Peter Capell
IEEEHPCS
2010
15 years 4 months ago
An FPGA design for the stochastic Greenberg-Hastings cellular automata
The stochastic Greenberg-Hastings cellular automaton is a model that mimics the propagation of reaction-diffusion waves in active media. Notably, this model undergoes a phase tran...
Nikolaos Vlassopoulos, Nazim Fatès, Hugues ...
BALT
2010
15 years 1 months ago
Grammatical Aspects: Coping with Duplication and Tangling in Language Specifications
For the purposes of tool development, computer languages are usually described using context-free grammars with annotations such as semantic actions or pretty-printing instructions...
Andrey Breslav
JSS
2010
132views more  JSS 2010»
15 years 1 months ago
Formal specification of the variants and behavioural features of design patterns
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
ISSTA
2010
ACM
15 years 10 months ago
On test repair using symbolic execution
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
Brett Daniel, Tihomir Gvero, Darko Marinov