Sciweavers

15860 search results - page 250 / 3172

» Agent-Based Software Engineering

158

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

15 years 5 months ago

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

118

ICST
2010
IEEE

97views Software Engineering» more ICST 2010»

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

15 years 5 months ago

MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code

Download www.upcrc.illinois.edu

Milos Gligoric, Vilas Jagannath, Darko Marinov

claim paper

Read More »

123

Voted

ICST
2010
IEEE

117views Software Engineering» more ICST 2010»

Simulated Satisfaction of Coverage Criteria on UML State Machines

15 years 5 months ago

Simulated Satisfaction of Coverage Criteria on UML State Machines

Download metrik.informatik.hu-berlin.de

Stephan Weißleder

claim paper

Read More »

168

Voted

SOCO
2008
Springer

95views Software Engineering» more SOCO 2008»

Practical Conflict Resolution for the Composition of Program Transformations

15 years 5 months ago

Practical Conflict Resolution for the Composition of Program Transformations

Download www.iks.inf.ethz.ch

Andreas I. Schmied, Franz J. Hauck

claim paper

Read More »

139

IWPC
2010
IEEE

119views Software Engineering» more IWPC 2010»

Patrools: Visualizing the Polymorphic Usage of Class Hierarchies

15 years 5 months ago

Patrools: Visualizing the Polymorphic Usage of Class Hierarchies

Download icpc2010.di.uminho.pt

Petru Florin Mihancea

claim paper

Read More »

« Prev « First page 250 / 3172 Last » Next »