Search Sciweavers | Sciweavers

5434 search results - page 42 / 1087

» Tool support for MOLA

189

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 5 days ago

Download eprints.ecs.soton.ac.uk

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

claim paper

Read More »

110

click to vote

ESEM
2009
ACM

111views Software Engineering» more ESEM 2009»

Tool supported detection and judgment of nonconformance in process execution

16 years 3 days ago

Download www.cs.umd.edu

Nico Zazworka, Victor R. Basili, Forrest Shull

claim paper

Read More »

153

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 2 days ago

Download wwwmnmteam.informatik.uni-muenchen.de

Thomas Schaaf, Michael Brenner

claim paper

Read More »

106

click to vote

KBSE
2008
IEEE

72views Software Engineering» more KBSE 2008»

Tool Support for Parametric Analysis of Large Software Simulation Systems

16 years 7 hour ago

Download ti.arc.nasa.gov

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

claim paper

Read More »

139

Voted

QEST
2008
IEEE

111views Modeling and Simulation» more QEST 2008»

A Tool Supporting Evaluation of Non-markovian Fault Trees

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers