425 search results - page 23 / 85 » Requirements, specifications, and minimal refinement |
NIPS
2001
13 years 9 months ago
2001
Neural activity appears to be a crucial component for shaping the receptive fields of cortical simple cells into adjacent, oriented subregions alternately receiving ON- and OFF-ce...
ICSE
2003
IEEE-ACM
14 years 7 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...
ECTEL
2006
Springer
13 years 11 months ago
2006
Springer
Argumentation is considered as an essential element for effective learning since it enables learners to develop their points of view and refine their knowledge. Our aim being to fa...
ENTCS
2002
13 years 7 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Security is one of the major concerns when developing missioncritical business applications, and this concern motivated the Web Services Security specifications. However, the exis...