Search Sciweavers | Sciweavers

15783 search results - page 571 / 3157

» Evidence-Based Software Engineering

154

click to vote

CODES
1996
IEEE

106views Software Engineering» more CODES 1996»

A Co-Design Methodology Based on Formal Specification and High-level Estimation

15 years 11 months ago

Download www.cse.iitd.ernet.in

Carlos Carreras, Juan Carlos López, Mar&iac...

claim paper

Read More »

148

click to vote

ICSE
1997
IEEE-ACM

68views Software Engineering» more ICSE 1997»

Open Implementation Design Guidelines

15 years 11 months ago

Download www2.parc.com

Gregor Kiczales, John Lamping, Cristina Videira Lo...

claim paper

Read More »

149

click to vote

UIST
1996
ACM

87views Software Engineering» more UIST 1996»

Easily Adding Animations to Interfaces Using Constraints

15 years 11 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

199

click to vote

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 »

181

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers