3792 search results - page 26 / 759 » Techniques for Trusted Software Engineering |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
AOSE
2000
Springer
14 years 2 months ago
2000
Springer
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
COMPSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
EUROMICRO
2006
IEEE
14 years 3 months ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
WER
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...