3024 search results - page 170 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
165
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
183
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
153
click to vote
WCRE
1998
IEEE
15 years 10 months ago
1998
IEEE
Types are a good starting point for various software reengineering tasks. Unfortunately, programs requiring reengineering most desperately are written in languages without an adeq...
152
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
The growing use of ontologies in applications creates the need for an infrastructure that allows developers to more easily combine different software modules like ontology stores,...
190
click to vote
ASWEC
2007
IEEE
16 years 24 days ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...