5439 search results - page 137 / 1088 » Patterns: from system design to software testing |
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
SEFM
2003
IEEE
15 years 3 months ago
2003
IEEE
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
PTS
1998
14 years 11 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
CISSE
2008
Springer
14 years 12 months ago
2008
Springer
: Knowledge assessment is inseparable part of current e-learning technologies. It can be used for self-assessment of students to give them feedback about their progress in a study ...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
Automatically creating images that give a sense of content can be useful in a number of settings. Such images can summarize a larger collection of media in novel ways, giving an e...