Sciweavers

15951 search results - page 312 / 3191

» Lawful software engineering

142

Voted

SIGSOFT
2002
ACM

99views Software Engineering» more SIGSOFT 2002»

Triggered message sequence charts

16 years 8 months ago

Triggered message sequence charts

Download www.cs.umd.edu

Bikram Sengupta, Rance Cleaveland

claim paper

Read More »

141

Voted

SIGSOFT
2001
ACM

125views Software Engineering» more SIGSOFT 2001»

STG: a tool for generating symbolic test programs and oracles from operational specifications

16 years 8 months ago

STG: a tool for generating symbolic test programs and oracles from operational specifications

Download www-valoria.univ-ubs.fr

Duncan Clarke, Elena Zinovieva, Thierry Jér...

claim paper

Read More »

117

Voted

SIGSOFT
2001
ACM

86views Software Engineering» more SIGSOFT 2001»

A micromodularity mechanism

16 years 8 months ago

A micromodularity mechanism

Download sdg.csail.mit.edu

Daniel Jackson, Ilya Shlyakhter, Manu Sridharan

claim paper

Read More »

148

Voted

SIGSOFT
2001
ACM

118views Software Engineering» more SIGSOFT 2001»

Deadlock detection in distribution object systems

16 years 8 months ago

Deadlock detection in distribution object systems

Download visnyk.vstu.vinnica.ua

Nima Kaveh, Wolfgang Emmerich

claim paper

Read More »

125

Voted

ICSE
2003
IEEE-ACM

77views Software Engineering» more ICSE 2003»

Design Pattern Rationale Graphs: Linking Design to Source

16 years 7 months ago

Design Pattern Rationale Graphs: Linking Design to Source

Download www.cs.ubc.ca

Elisa L. A. Baniassad, Gail C. Murphy, Christa Sch...

claim paper

Read More »

« Prev « First page 312 / 3191 Last » Next »