A framework for evaluating specification methods for reactive systems: experience report

Saved in:
Bibliographic Details
Main Authors: Ardis, Mark A., Chaves, John A., Jagadeesan, Lalita Jategaonkar, Mataga, Peter, Puchol, Carlos, Staskauskas, Mark G., Von Olnhausen, James
Format: Conference Proceeding
Language:English
Subjects:
Computing methodologies > Machine learning > Machine learning approaches > Neural networks
Hardware > Emerging technologies > Circuit substrates > Cellular neural networks
Social and professional topics > Professional topics > Management of computing and information systems > Project and people management
Social and professional topics > Professional topics > Management of computing and information systems > Software management
Software and its engineering > Software creation and management > Designing software
Software and its engineering > Software creation and management > Designing software > Requirements analysis
Software and its engineering > Software creation and management > Software development process management
Software and its engineering > Software notations and tools > Software configuration management and version control systems
Theory of computation > Theory and algorithms for application domains > Machine learning theory
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
DOI:10.1145/225014.225029