7475 search results - page 417 / 1495 » Supporting use case based requirements engineering |
141
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
161
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
180
click to vote
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
182
click to vote
EMSOFT
2007
Springer
16 years 28 days ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
152
click to vote
ICSM
1999
IEEE
15 years 11 months ago
1999
IEEE
Recovering architectural documentation from code is crucial to maintaining and reengineering software systems. Reverse engineering and program understanding approaches are often l...