1
0
0
(1 - 14 von 19
)
Formal Methods in Systems Engineeringgoogle.com
books.google.com
... Uwe Nonnenmann. Inferring formal software specifications from episodic descriptions. In Proceedings of the Sixth National Conference on Artificial ...
FGCS '92: Fifth Generation Computer Systems 1992
books.google.co.uk
Knowledge - Based Functional Testing For Large Software Systems Uwe Nonnenmann and John K. Eddy AT & T Bell Laboratories 600 Mountain Avenue , Murray Hill ...
Formal Methods in Systems Engineering
books.google.co.uk
[14] Van E. Kelly and Uwe Nonnenmann. Inferring formal software specifications from episodic descriptions. In Proceedings of the Sixth National Conference ...
Industrial and Engineering Applications of Artificial ...
books.google.co.uk
KITSS : Using Knowledge - Based Software Engineering For Functional Testing Uwe Nonnenmann and John K. Eddy AT & T Bell Laboratories Murray Hill , NJ
Proceedings of the 5th international conference on Industrial ...
dl.acm.org
KITSS: Using Knowledge-Based Software Engineering For Functional Testing · Uwe Nonnenmann,; John K. Eddy. June 1992, pp 206–224. › doi › proceedi...
Software Testing with Kitss | IEEE Expert - ACM Digital LibraryACM Digital Library
dl.acm.org
von U Nonnenmann · · Zitiert von: 4 — Software Testing with Kitss. Authors: Uwe Nonnenmann. View Profile. ,. John K. Eddy. View Profile. Authors Info & Claims. IEEE Expert: ...
Uwe NonnenmannDBLP
dblp.org
AP — Uwe Nonnenmann, John K. Eddy: Software Testing with Kitss. IEEE Expert 8(4): (1993) text to speech; [c3]. no documents available.
Composition of Descriptions : A Progress Report | SpringerLink
link.springer.com
von P Zave · · Zitiert von: 2 — Van E. Kelly and Uwe Nonnenmann. Inferring formal software specifications from episodic descriptions. In Proceedings of the Sixth National Conference on ... › chapter
KITSS: Using knowledge-based software engineering for ...Springer
link.springer.com
von U Nonnenmann · — KITSS: Using knowledge-based software engineering for functional testing. Verification and Validation. Uwe Nonnenmann & ... Uwe Nonnenmann & John ...
6. AAAI 1987: Seattle, WASigmod.org
sigmod.org
Van E. Kelly, Uwe Nonnenmann: Inferring Formal Software Specifications from Episodic Descriptions BibTeX · Richard E. Korf: Real-Time Heuristic ...
Inferring Formal Software Specifications from Episodic DescriptionsAAAI
aaai.org
Van E. Kelly. Uwe Nonnenmann. Proceedings: Book One. Volume. Issue: Proceedings of the AAAI Conference on Artificial Intelligence, 6. Track: Automated Reasoning ...
John K. Eddy's scientific contributionsResearchGate
www.researchgate.net
Sep Uwe Nonnenmann · John K. Eddy. An automated testing system that is well integrated into the software development process ...
KITSS-a functional software testing system using a hybrid ...Semantic Scholar
www.semanticscholar.org
Uwe Nonnenmann, J. K. Eddy · Published in Proceedings Eighth Conference… 2 March · Computer Science · Proceedings Eighth Conference on Artificial Intelligence ...
Software Testing with KitssIEEE Computer Society
www.computer.org
von U Nonnenmann · · Zitiert von: 4 — Uwe Nonnenmann John K. Eddy. Abstract. An automated testing system that is well integrated into the software development process is considered. The knowledge ...
Alle Infos zum Namen "Uwe Nonnenmann"
Verwandte Suchanfragen zu Uwe Nonnenmann
Martin Fuchs Helmut Jäger Amelie Lehmann | Murray Hill Marco Martin Sabine Persson |
Personen Vorname "Uwe" (44185) Name "Nonnenmann" (117) |
sortiert nach Relevanz / Datum