8627 search results - page 179 / 1726 » Software Engineering Using RATionale |
114
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
116
Voted
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
Gaining an understanding of software systems is an important discipline in many software engineering contexts. It is essential that software engineers are assisted as much as poss...
159
click to vote
AOSD
2011
ACM
14 years 9 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
133
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
This paper reports the results of exploratory research to develop a pilot pattern language for systems engineers at BAE SYSTEMS. The pattern language was designed to encapsulate k...
139
Voted
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...