Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 166
Book Description
Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design
Automating Software Design
Scientific and Technical Aerospace Reports
Government Reports Announcements & Index
Aeronautical Engineering
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1048
Book Description
A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA)
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1048
Book Description
A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA)
Government Reports Annual Index
Author:
Publisher:
ISBN:
Category : Government reports announcements & index
Languages : en
Pages : 1832
Book Description
Publisher:
ISBN:
Category : Government reports announcements & index
Languages : en
Pages : 1832
Book Description
Automating Software Design
Author:
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 201
Book Description
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 201
Book Description
Proceedings of the Workshop on Automating Software Design ; 2
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems Held in Carmel, California on October 23-26 1998
Author: Luqi
Publisher:
ISBN: 9781423544395
Category :
Languages : en
Pages : 177
Book Description
The "Engineering Automation for Computer Based Systems" Workshop is the 6th in a series of Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. Previous workshops have been devoted to "Real-Time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", and "Requirements Targeting Software". A major goal for this series of workshops is to help focus the software engineering community on issues that are vital to improving the state of software engineering practice. This focus promotes consistency among diverse research directions that address different aspects of the same problem to facilitate future integration efforts. The workshop represents a bridge between industry and academia. The material in these proceedings presents a balanced view of academic and industrial developments. Formalization is fundamental to the development of software engineering as an engineering discipline. The critical importance of formal models and form al methods is painfully clear when one considers the escalating demands for larger, more complex, reliable software Systems.
Publisher:
ISBN: 9781423544395
Category :
Languages : en
Pages : 177
Book Description
The "Engineering Automation for Computer Based Systems" Workshop is the 6th in a series of Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. Previous workshops have been devoted to "Real-Time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", and "Requirements Targeting Software". A major goal for this series of workshops is to help focus the software engineering community on issues that are vital to improving the state of software engineering practice. This focus promotes consistency among diverse research directions that address different aspects of the same problem to facilitate future integration efforts. The workshop represents a bridge between industry and academia. The material in these proceedings presents a balanced view of academic and industrial developments. Formalization is fundamental to the development of software engineering as an engineering discipline. The critical importance of formal models and form al methods is painfully clear when one considers the escalating demands for larger, more complex, reliable software Systems.
Artificial Intelligence for the Internet of Everything
Author: William Lawless
Publisher: Academic Press
ISBN: 0128176377
Category : Computers
Languages : en
Pages : 306
Book Description
Artificial Intelligence for the Internet of Everything considers the foundations, metrics and applications of IoE systems. It covers whether devices and IoE systems should speak only to each other, to humans or to both. Further, the book explores how IoE systems affect targeted audiences (researchers, machines, robots, users) and society, as well as future ecosystems. It examines the meaning, value and effect that IoT has had and may have on ordinary life, in business, on the battlefield, and with the rise of intelligent and autonomous systems. Based on an artificial intelligence (AI) perspective, this book addresses how IoE affects sensing, perception, cognition and behavior. Each chapter addresses practical, measurement, theoretical and research questions about how these "things may affect individuals, teams, society or each other. Of particular focus is what may happen when these "things begin to reason, communicate and act autonomously on their own, whether independently or interdependently with other "things. - Considers the foundations, metrics and applications of IoE systems - Debates whether IoE systems should speak to humans and each other - Explores how IoE systems affect targeted audiences and society - Discusses theoretical IoT ecosystem models
Publisher: Academic Press
ISBN: 0128176377
Category : Computers
Languages : en
Pages : 306
Book Description
Artificial Intelligence for the Internet of Everything considers the foundations, metrics and applications of IoE systems. It covers whether devices and IoE systems should speak only to each other, to humans or to both. Further, the book explores how IoE systems affect targeted audiences (researchers, machines, robots, users) and society, as well as future ecosystems. It examines the meaning, value and effect that IoT has had and may have on ordinary life, in business, on the battlefield, and with the rise of intelligent and autonomous systems. Based on an artificial intelligence (AI) perspective, this book addresses how IoE affects sensing, perception, cognition and behavior. Each chapter addresses practical, measurement, theoretical and research questions about how these "things may affect individuals, teams, society or each other. Of particular focus is what may happen when these "things begin to reason, communicate and act autonomously on their own, whether independently or interdependently with other "things. - Considers the foundations, metrics and applications of IoE systems - Debates whether IoE systems should speak to humans and each other - Explores how IoE systems affect targeted audiences and society - Discusses theoretical IoT ecosystem models