335 search results - page 43 / 67 » Arguing safety with Problem Oriented Software Engineering |
ICSE
2011
IEEE-ACM
14 years 29 days ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
77
Voted
ICHIT
2009
Springer
15 years 4 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...
SIGSOFT
2001
ACM
15 years 10 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
169
click to vote
GIS
2008
ACM
15 years 10 months ago
2008
ACM
Given a spatial crime data warehouse, that is updated infrequently and a set of operations O as well as constraints of storage and update overheads, the index type selection probl...
CISIS
2010
IEEE
15 years 2 months ago
2010
IEEE
—The SERSCIS project aims to support the use of interconnected systems of services in Critical Infrastructure (CI) applications. The problem of system interconnectedness is aptly...