Sciweavers

1528 search results - page 85 / 306

» Object-Oriented Software Composition

94

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

15 years 8 months ago

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

Download www.cis.upenn.edu

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

93

SIGSOFT
2000
ACM

92views Software Engineering» more SIGSOFT 2000»

A compositional approach to statecharts semantics

15 years 7 months ago

A compositional approach to statecharts semantics

Download www-users.cs.york.ac.uk

Gerald Lüttgen, Michael von der Beeck, Rance ...

claim paper

Read More »

90

CODES
1998
IEEE

103views Software Engineering» more CODES 1998»

An analysis-based approach to composition of distributed embedded systems

15 years 7 months ago

An analysis-based approach to composition of distributed embedded systems

Download www.cs.washington.edu

2.1 Modal processes

Pai H. Chou, Gaetano Borriello

claim paper

Read More »

84

AOSD
2007
ACM

92views Software Engineering» more AOSD 2007»

A graph-based approach to modeling and detecting composition conflicts related to introductions

15 years 7 months ago

A graph-based approach to modeling and detecting composition conflicts related to introductions

Download eprints.eemcs.utwente.nl

Wilke Havinga, István Nagy, Lodewijk Bergma...

claim paper

Read More »

82

AOSD
2007
ACM

99views Software Engineering» more AOSD 2007»

Semantics-based composition for aspect-oriented requirements engineering

15 years 7 months ago

Semantics-based composition for aspect-oriented requirements engineering

Download www.cse.ohio-state.edu

Ruzanna Chitchyan, Awais Rashid, Paul Rayson, Robe...

claim paper

Read More »

« Prev « First page 85 / 306 Last » Next »