Search Sciweavers | Sciweavers

15778 search results - page 249 / 3156

» Aikido and software engineering

138

click to vote

UIST
1996
ACM

87views Software Engineering» more UIST 1996»

Easily Adding Animations to Interfaces Using Constraints

15 years 10 months ago

Download www.cs.cmu.edu

Brad A. Myers, Robert C. Miller, Richard G. McDani...

claim paper

Read More »

184

click to vote

TAPSOFT
1997
Springer

129views Software Engineering» more TAPSOFT 1997»

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

15 years 10 months ago

Download www.brics.dk

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

claim paper

Read More »

168

click to vote

CODES
1994
IEEE

105views Software Engineering» more CODES 1994»

A case study in computer-aided codesign of embedded controllers

15 years 10 months ago

Download www.cs.ucr.edu

Luciano Lavagno, Massimiliano Chiodo, Paolo Giusto...

claim paper

Read More »

124

click to vote

ESEC
1993
Springer

80views Software Engineering» more ESEC 1993»

Inconsistency Handling in Multi-Perspective Specifications

15 years 10 months ago

Download www.dsl.uow.edu.au

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

claim paper

Read More »

140

click to vote

ISSTA
1994
ACM

118views Software Engineering» more ISSTA 1994»

Testing a Safety-Critical Application

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers