726 search results - page 1 / 146 » Formal Requirements Engineering: Learning from the Students |
ASWEC
2000
IEEE
13 years 9 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
APSEC
2000
IEEE
13 years 9 months ago
2000
IEEE
Experience from industry shows that graduates in computer science generally lack many of the skills required in software development projects. This presents a challenge to academi...
WER
1998
Springer
13 years 9 months ago
1998
Springer
AAAI
2008
13 years 7 months ago
2008
We describe HTN-MAKER, an algorithm for learning hierarchical planning knowledge in the form of decomposition methods for Hierarchical Task Networks (HTNs). HTNMAKER takes as inpu...
JITE
2008
13 years 4 months ago
2008
