Automated derivation of tests from specifications

15th International Conference on Space Operations ◽

10.2514/6.2018-2709 ◽

2018 ◽

Author(s):

Todor Stoitsev ◽

Steven Straw ◽

Christoph Legat ◽

Eduardo Gomez Gomez

Keyword(s):

Automated Derivation

Download Full-text

On the Automated Derivation of Domain-Specific UML Profiles

Modelling Foundations and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-61482-3_1 ◽

2017 ◽

pp. 3-19 ◽

Cited By ~ 1

Author(s):

Alexander Kraas

Keyword(s):

Domain Specific ◽

Uml Profiles ◽

Automated Derivation

Download Full-text

Automated derivation of global authorizations for database federations

Journal of Computer Security ◽

10.3233/jcs-1997-5402 ◽

1997 ◽

Vol 5 (4) ◽

pp. 271-301 ◽

Cited By ~ 5

Author(s):

S. Castano ◽

S. De Capitani di Vimercati ◽

M.G. Fugini

Keyword(s):

Automated Derivation

Download Full-text

Automated derivation of reaction rules for the EROS 6.0 system for reaction prediction

Analytica Chimica Acta ◽

10.1016/s0003-2670(00)82071-1 ◽

1990 ◽

Vol 235 ◽

pp. 163-168 ◽

Cited By ~ 32

Author(s):

Peter Röse ◽

Johann Gasteiger

Keyword(s):

Reaction Prediction ◽

Automated Derivation

Download Full-text

An object-oriented symbolic approach to the automated derivation of finite element contributions

Advances in Engineering Software ◽

10.1016/j.advengsoft.2016.01.010 ◽

2016 ◽

Vol 94 ◽

pp. 1-13 ◽

Cited By ~ 1

Author(s):

R. Saad ◽

D. Eyheramendy ◽

L. Zhang

Keyword(s):

Finite Element ◽

Object Oriented ◽

Symbolic Approach ◽

Automated Derivation

Download Full-text

Automated derivation of failure symptoms for diagnosis of a nuclear power plant

Annals of Nuclear Energy ◽

10.1016/0306-4549(86)90076-9 ◽

1986 ◽

Vol 13 (8) ◽

pp. 459-465 ◽

Cited By ~ 3

Author(s):

T. Washio ◽

M. Kitamura ◽

K. Kotajima ◽

K. Sugiyama

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Automated Derivation

Download Full-text

Automated derivation of program control structure from natural language program descriptions

ACM SIGART Bulletin ◽

10.1145/872736.806935 ◽

1977 ◽

pp. 77-84

Author(s):

David Wile ◽

Robert Balzer ◽

Neil Goldman

Keyword(s):

Natural Language ◽

Control Structure ◽

Program Control ◽

Language Program ◽

Automated Derivation

Download Full-text

Automated derivation of behavior vocabularies for autonomous humanoid motion

Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 ◽

10.1145/860575.860612 ◽

2003 ◽

Cited By ~ 25

Author(s):

Odest Chadwicke Jenkins ◽

Maja J. Mataric

Keyword(s):

Autonomous Humanoid ◽

Automated Derivation

Download Full-text

Automated derivation of NoC Communication Specifications from Application Constraints

2006 IEEE Workshop on Signal Processing Systems Design and Implementation ◽

10.1109/sips.2006.352588 ◽

2006 ◽

Author(s):

Samuel Evain ◽

Jean-Philippe Diguet ◽

Milad El Khodary ◽

Dominique Houzet

Keyword(s):

Automated Derivation

Download Full-text

Automated derivation of phonemic spectral distribution in speech output of nonlinear hearing aids

The Journal of the Acoustical Society of America ◽

10.1121/1.406298 ◽

1993 ◽

Vol 93 (4) ◽

pp. 2336-2337

Author(s):

Faye Erickson ◽

Eddy Yeung ◽

Arthur Boothroyd

Keyword(s):

Hearing Aids ◽

Spectral Distribution ◽

Speech Output ◽

Automated Derivation

Download Full-text

Automated derivation and spatio-temporal analysis of landslide properties in southern Kyrgyzstan

Natural Hazards ◽

10.1007/s11069-016-2636-y ◽

2016 ◽

Vol 85 (3) ◽

pp. 1461-1488 ◽

Cited By ~ 8

Author(s):

Darya Golovko ◽

Sigrid Roessner ◽

Robert Behling ◽

Birgit Kleinschmit

Keyword(s):

Temporal Analysis ◽

Spatio Temporal ◽

Automated Derivation

Download Full-text