From Requirements Change to Design Change: A Formal Path
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Programming: Sorcery or Science?
IEEE Software
Execution of natural language requirements using State Machines synthesised from Behavior Trees
Journal of Systems and Software
Hi-index | 0.00 |
Frederick Brooks' famous article "No Silver Bullet" implied that we can't hope to make significant gains in software development. In other words, software engineering has run into a brick wall. However, using an appropriate representation of software system behavior, such as behavior trees, can help us climb over this wall.