Sciweavers

5439 search results - page 137 / 1088
» Patterns: from system design to software testing
Sort
View
ICSE
2003
IEEE-ACM
16 years 3 months ago
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
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...
Jennifer Z. Guan, Luqi
SEFM
2003
IEEE
15 years 8 months ago
From Requirements to Design: Formalizing the Key Steps
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...
R. Geoff Dromey
123
Voted
PTS
1998
81views Hardware» more  PTS 1998»
15 years 4 months ago
Testing Temporal Logic Properties in Distributed Systems
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...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
CISSE
2008
Springer
15 years 5 months ago
Knowledge Assessment - Practical Example in Testing
: 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 ...
Ján Genci
127
Voted
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
15 years 8 months ago
Synthesizing Evocative Imagery through Design Patterns
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...
Daniel M. Russell, Andreas Dieberger