1359 search results - page 170 / 272 » Black-Box Program Specialization |
SIGUCCS
2000
ACM
14 years 2 months ago
2000
ACM
Academic Technology Services at the University of Rochester is in the process of revamping its student staff training program. This is in an effort to provide top-notch customer s...
KBSE
1999
IEEE
14 years 2 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
The Unified Modeling Language is extensible, and so can be regarded as a family of languages. Implicitly or explicitly, any particular UML model should be accompanied by a definit...
TOOLS
1999
IEEE
14 years 2 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...