1288 search results - page 165 / 258 » On Analysis of Design Component Contracts: A Case Study |
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
In this article we describe the operationalised Business Intelligence (BI) environment of the Amsterdam-Amstelland Police Department (AAPD) as it presented itself in the spring of...
ISW
2005
Springer
15 years 7 months ago
2005
Springer
d Abstract) Lujo Bauer, Scott Garriss, Jonathan M. McCune, Michael K. Reiter, Jason Rouse, and Peter Rutenbar Carnegie Mellon University, Pittsburgh, Pennsylvania, USA We describe ...
134
click to vote
OIR
2007
15 years 1 months ago
2007
Purpose – This article is the third in a four-part series that aims to illustrate the process involved in planning a portal and creating a portal definition document. Design/me...
105
click to vote
FM
1999
Springer
15 years 5 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
111
click to vote
TSE
2010
14 years 12 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...