Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
5434
search results - page 42 / 1087
»
Tool support for MOLA
Sort
relevance
views
votes
recent
update
View
thumb
title
209
click to vote
FM
2009
Springer
116
views
Formal Methods
»
more
FM 2009
»
Language and Tool Support for Class and State Machine Refinement in UML-B
16 years 1 months ago
Download
eprints.ecs.soton.ac.uk
Mar Yah Said, Michael J. Butler, Colin F. Snook
claim paper
Read More »
134
click to vote
ESEM
2009
ACM
111
views
Software Engineering
»
more
ESEM 2009
»
Tool supported detection and judgment of nonconformance in process execution
16 years 1 months ago
Download
www.cs.umd.edu
Nico Zazworka, Victor R. Basili, Forrest Shull
claim paper
Read More »
172
click to vote
BDIM
2008
IEEE
171
views
Business
»
more
BDIM 2008
»
On tool support for Service Level Management: From requirements to system specifications
16 years 1 months ago
Download
wwwmnmteam.informatik.uni-muenchen.de
Thomas Schaaf, Michael Brenner
claim paper
Read More »
117
click to vote
KBSE
2008
IEEE
72
views
Software Engineering
»
more
KBSE 2008
»
Tool Support for Parametric Analysis of Large Software Simulation Systems
16 years 1 months ago
Download
ti.arc.nasa.gov
Johann Schumann, Karen Gundy-Burlet, Corina S. Pas...
claim paper
Read More »
154
click to vote
QEST
2008
IEEE
111
views
Modeling and Simulation
»
more
QEST 2008
»
A Tool Supporting Evaluation of Non-markovian Fault Trees
16 years 1 months ago
Download
www.stlab.dsi.unifi.it
Giacomo Bucci, Laura Carnevali, Enrico Vicario
claim paper
Read More »
« Prev
« First
page 42 / 1087
Last »
Next »
