3837 search results - page 439 / 768 » Concurrent Engineering support in Software Engineering |
139
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Approaches to enforcing communication integrity in the implementation, exemplified by ArchJava, consider only architectural constraints, without taking into account the late integ...
127
click to vote
ASWEC
2004
IEEE
15 years 8 months ago
2004
IEEE
"Totally Functional Programming" (TFP) advocates the complete replacement of symbolic representations for data by functions. TFP is motivated by observations from practi...
107
click to vote
AUIC
2004
IEEE
15 years 8 months ago
2004
IEEE
Ubiquitous workspaces are future media-rich environments that employ new forms of operating systems and services to coordinate and manage interactions between people, multiple dis...
151
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
133
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...