1676 search results - page 323 / 336 » Formal Development of Self-organising Systems |
RE
2009
Springer
14 years 2 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](https://www.sciweavers.org/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
DSN
2002
IEEE
14 years 18 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
VISUALIZATION
2000
IEEE
14 years 16 hour ago
2000
IEEE
Visualization algorithms have seen substantial improvements in the past several years. However, very few algorithms have been developed for directly studying data in dimensions hi...