Search Sciweavers | Sciweavers

5434 search results - page 42 / 1087

» Tool support for MOLA

199

click to vote

FM
2009
Springer

116views Formal Methods» more FM 2009»

Language and Tool Support for Class and State Machine Refinement in UML-B

16 years 19 days ago

Download eprints.ecs.soton.ac.uk

Mar Yah Said, Michael J. Butler, Colin F. Snook

claim paper

Read More »

122

click to vote

ESEM
2009
ACM

111views Software Engineering» more ESEM 2009»

Tool supported detection and judgment of nonconformance in process execution

16 years 17 days ago

Download www.cs.umd.edu

Nico Zazworka, Victor R. Basili, Forrest Shull

claim paper

Read More »

159

click to vote

BDIM
2008
IEEE

171views Business» more BDIM 2008»

On tool support for Service Level Management: From requirements to system specifications

16 years 16 days ago

Download wwwmnmteam.informatik.uni-muenchen.de

Thomas Schaaf, Michael Brenner

claim paper

Read More »

113

click to vote

KBSE
2008
IEEE

72views Software Engineering» more KBSE 2008»

Tool Support for Parametric Analysis of Large Software Simulation Systems

16 years 14 days ago

Download ti.arc.nasa.gov

Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...

claim paper

Read More »

144

click to vote

QEST
2008
IEEE

111views Modeling and Simulation» more QEST 2008»

A Tool Supporting Evaluation of Non-markovian Fault Trees

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers