613 search results - page 47 / 123 » Reflections on Software Engineering Education |
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
AC
1999
Springer
14 years 15 hour ago
1999
Springer
The FlexiNet Platform is a Java middleware platform that features a component based ‘white-box’ approach with strong emphasis placed on reflection and introspection at all lev...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Software's increasing role creates both requirements for being able to trust it more than before, and for more people to know how much they can trust their software. A sound ...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Successful software engineering requires experience and acknowledgment of complexity, including that which leads designers to recognize ambiguity within the software design descri...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
We have analyzed manufacturing data from several different semiconductor manufacturing plants, using decision tree induction software called Q-YIELD. The software generates rules ...