Sciweavers

879 search results - page 138 / 176
» Software Reuse in an Industrial Setting: A Case Study
Sort
View
RE
2008
Springer
13 years 8 months ago
Requirements for tools for ambiguity identification and measurement in natural language requirements specifications
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...
Nadzeya Kiyavitskaya, Nicola Zeni, Luisa Mich, Dan...
FSTTCS
2010
Springer
13 years 8 months ago
Average Analysis of Glushkov Automata under a BST-Like Model
We study the average number of transitions in Glushkov automata built from random regular expressions. This statistic highly depends on the probabilistic distribution set on the e...
Cyril Nicaud, Carine Pivoteau, Benoît Razet
ECMDAFA
2007
Springer
122views Hardware» more  ECMDAFA 2007»
14 years 4 months ago
Model Transformation from OWL-S to BPEL Via SiTra
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
Behzad Bordbar, Gareth Howells, Michael Evans, Ath...
WSC
2007
14 years 11 days ago
What I wish they would have taught me (or that I would have better remembered!) in school
This panel reflects upon their experiences as simulation professionals and shares their thoughts regarding elements of their simulation education that they have found most helpful...
Charles R. Standridge, Daniel A. Finke, Carley Jur...
ICST
2009
IEEE
13 years 7 months ago
Timed Testing under Partial Observability
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...