726 search results - page 139 / 146 » Formal Requirements Engineering: Learning from the Students |
ACSAC
2001
IEEE
15 years 3 months ago
2001
IEEE
Vulnerabilities in distributed applications are being uncovered and exploited faster than software engineers can patch the security holes. All too often these weaknesses result fr...
105
click to vote
AEI
2006
14 years 11 months ago
2006
This paper presents a linguistic framework for developing a formal knowledge acquisition method. The framework is intended to empower domain experts to specify information require...
122
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
The design of virtual workplaces that can support virtual work processes has traditionally been either ad-hoc, or has been influenced by the top-down approaches, such as ‘virtua...
110
click to vote
GG
2008
Springer
15 years 24 days ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...
109
click to vote
SOUPS
2005
ACM
15 years 5 months ago
2005
ACM
In this article, we describe the design process of Reno, a location-enhanced, mobile coordination tool and person finder. The design process included three field experiments: a ...