658 search results - page 100 / 132 » A formal approach to object-oriented software engineering |
152
click to vote
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
149
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
116
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
Software may contain functionality that does not align with its architecture. Such cross-cutting concerns do not exist from the beginning but emerge over time. By analysing where ...
137
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
157
click to vote
ICONS
2009
IEEE
15 years 11 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...