Search Sciweavers | Sciweavers

15784 search results - page 548 / 3157

» Mega Software Engineering

197

Voted

TAPSOFT
1997
Springer

129views Software Engineering» more TAPSOFT 1997»

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

15 years 11 months ago

Download www.brics.dk

Kåre J. Kristoffersen, François Larou...

claim paper

Read More »

176

click to vote

CODES
1994
IEEE

105views Software Engineering» more CODES 1994»

A case study in computer-aided codesign of embedded controllers

15 years 11 months ago

Download www.cs.ucr.edu

Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto...

claim paper

Read More »

139

click to vote

ESEC
1993
Springer

80views Software Engineering» more ESEC 1993»

Inconsistency Handling in Multi-Perspective Specifications

15 years 11 months ago

Download www.dsl.uow.edu.au

Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter...

claim paper

Read More »

150

click to vote

ISSTA
1994
ACM

118views Software Engineering» more ISSTA 1994»

Testing a Safety-Critical Application

15 years 11 months ago

Download cs.union.edu

John C. Knight, Aaron G. Cass, Antonio M. Fern&aac...

claim paper

Read More »

153

Voted

PEPM
1993
ACM

95views Software Engineering» more PEPM 1993»

Improving Abstract Interpretations by Combining Domains

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers