Integrating an equality prover into a software development system based on type theory

KI-97: Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3540634932_11 ◽

1997 ◽

pp. 147-158 ◽

Author(s):

Martin Strecker ◽

Maria Sorea

Keyword(s):

Software Development ◽

Type Theory ◽

Development System ◽

Software Development System

Download Full-text

Phoenix software development system overview

ACM SIGDA Newsletter ◽

10.1145/1061458.1061461 ◽

1978 ◽

Vol 8 (2) ◽

pp. 15-17

Author(s):

A. F. Rosene

Keyword(s):

Software Development ◽

Development System ◽

Software Development System

Download Full-text

Traffic Service Position System No. 1B: Software Development System

Bell System Technical Journal ◽

10.1002/j.1538-7305.1983.tb04420.x ◽

1983 ◽

Vol 62 (3) ◽

pp. 859-884

Author(s):

T. G. Hack ◽

T. Huang ◽

L. C. Stecher

Keyword(s):

Software Development ◽

Position System ◽

Development System ◽

Software Development System

Download Full-text

CAP-RTL — A universal microprocessor software development system

Microprocessing and Microprogramming ◽

10.1016/0165-6074(83)90150-3 ◽

1983 ◽

Vol 11 (3-4) ◽

pp. 217-220

Author(s):

Jürgen Poppensieker ◽

Paul Schulz

Keyword(s):

Software Development ◽

Development System ◽

Software Development System

Download Full-text

A Software Development System for Reliable Applications

IRE Transactions on Communications Systems ◽

10.1109/tcom.1982.1095593 ◽

1982 ◽

Vol 30 (6) ◽

pp. 1363-1368

Author(s):

P. White ◽

M. Feay

Keyword(s):

Software Development ◽

Development System ◽

Software Development System

Download Full-text

Session details: Volume II: Software development, system software and security: Requirements engineering track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251694 ◽

2015 ◽

Author(s):

Maria Lencastre ◽

Joao Araujo

Keyword(s):

Software Development ◽

Requirements Engineering ◽

Security Requirements ◽

System Software ◽

Development System ◽

Security Requirements Engineering ◽

Software Development System

Download Full-text

Session details: Volume II: Software development, system software and security: Computer security track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251682 ◽

2015 ◽

Author(s):

Giampaolo Bella ◽

Sergio Maffeis

Keyword(s):

Software Development ◽

Computer Security ◽

System Software ◽

Development System ◽

Software Development System

Download Full-text

Session details: Volume II: Software development, system software and security: Programming languages track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251681 ◽

2015 ◽

Author(s):

Marjan Mernik ◽

Barrett Bryant

Keyword(s):

Software Development ◽

Programming Languages ◽

System Software ◽

Development System ◽

Software Development System

Download Full-text

Session details: Volume II: Software development, system software and security: Embedded systems track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251678 ◽

2015 ◽

Author(s):

Li-Pin Chang ◽

Marco Di Natale

Keyword(s):

Embedded Systems ◽

Software Development ◽

System Software ◽

Development System ◽

Software Development System

Download Full-text

Session details: Volume II: Software development, system software and security: Software engineering track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251673 ◽

2015 ◽

Author(s):

Byungjeong Lee ◽

Eunjee Song

Keyword(s):

Software Engineering ◽

Software Development ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System

Download Full-text

Session details: Volume II: Software development, system software & security: programming for separation of concerns track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255906 ◽

2014 ◽

Author(s):

Corrado Santoro ◽

Emiliano Tramontana

Keyword(s):

Software Development ◽

Software Security ◽

System Software ◽

Separation Of Concerns ◽

Development System ◽

Software Development System

Download Full-text