article

Free access

Constructing a dialogic framework for software development

Authors:

A. Finkelstein,

H. Fuks,

C. Niskier,

M. SadlerAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 14, Issue 4

Pages 68 - 72

https://doi.org/10.1145/75111.75118

Published: 01 April 1988 Publication History

PDF eReader

References

[1]

Allwood, J. (1986); Logic and Spoken Interaction; In: Myers,Brown & McGonigle (Eds), Reasoning and Discourse Processes, Academic Press Cognitive Science Series, pp 67-94.

Google Scholar

[2]

Balzer, R. (1985); A 15 Year Perspective on Automatic Programming; IEEE Trans. Software Engineering; SE-ll,ll,pp 1257-1267.

Digital Library

Google Scholar

[3]

Carbonell, J.G. (1982); Meta-Language Utterances in Purposive Discourse; Carnegie-Mellon University Tech. Report, CMU-CS-82-125.

Google Scholar

[4]

Finkelstein, A. & Fuks, H. (1988); A Cooperative Framework for Program Development, Imperial College, Department of Computing Tech. Report, DoC 88.

Google Scholar

[5]

Fuks, H. Pequeno, M. & Sadler, M.(1988); A Dialogic Framework for Theorem Proving, Imperial College, Department of Computing Tech. Report, DoC 88.

Google Scholar

[6]

Green, M. (1983); Report on Dialogue Specification tools; In: Pfaff (Ed) Proc. Wrkshp. User Interface Management Systems 1983; Springer-Verlag.

Google Scholar

[7]

Hamblin, C. (1971); Mathematical Models of Dialogue; Theo& V2, pp130-155.

Google Scholar

[8]

Hamblin, C (1987); Imperatives; Basil Blackwell, Oxford.

Google Scholar

[9]

Hintikka, J (1973); Logic, Language-Games and Information; Clarendon Press, Oxford.

Google Scholar

[10]

Horai,H. Saeki, M. & Enomoto, H. (1987); Specification Based Software Development System Pure Tell, IIAS Research Report No. 73.

Google Scholar

[11]

Jeremaes, P. (1987); Specifying the Interface Logic; Private Communication Feb. 1987.

Google Scholar

[12]

Lorenz, K. (1982); On the Criteria for the choice of Rules of Dialogic Logic; In Barth & Martens (Eds), Argumentation: approaches to theory formation, SLCS V8, John Benjamins, Amsterdam.

Google Scholar

[13]

Mackenzie, J. (1981); The Dialectics of Logic; Logique et Analyse, V24, pp 159-177.

Google Scholar

[14]

Mackenzie, J. (1985); No Logic before Friday; Synthese, V63, pp 329-341.

Google Scholar

[15]

Maibaum,T., Veloso, P. & Sadler, M. (1985); A Theory of Abstract Data Types for Formal Development: bridging the gap?; Proc. Colloq. Software Engineering Berlin 1985; LNCS 186, Springer Verlag.

Digital Library

Google Scholar

[16]

Osterweil, L. (1987); Software Processes are Software Too; Proc. 9th ICSE, pp 2-13; IEE Comp Sot Press.

Digital Library

Google Scholar

[17]

Rickman, H. (1976); W.Dihhey: Selected Writings; CUP, Cambridge.

Google Scholar

[18]

Soloway, E. (1986); Meeting the Challenge of Programming-in-the-Large, 1st Workshop on Empirical Studies of Programmers 1986, pp 263-268; Ablex Publishing Corp.

Digital Library

Google Scholar

[19]

Winograd, T. & Flares, F. (1986); Understanding Computers and Cognition: A New Foundation For Design; Ablex Publishing Corp.

Digital Library

Google Scholar

Index Terms

Constructing a dialogic framework for software development
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
    1. Designing software
  2. Software notations and tools
    1. Development frameworks and environments

Recommendations

Development of software engineering: co-operative efforts from academia, government and industry
ICSE '06: Proceedings of the 28th international conference on Software engineering

In the past 40 years, software engineering has emerged as an important sub-field of computer science. The quality and productivity of software have been improved and the cost and risk of software development been decreased due to the contributions made ...
Software development: what it is, what it should be, and how to get there

Developing large software systems is notoriously difficult and unpredictable. Software projects are often canceled, finish late and over budget, or yield low quality results --- setting software engineering apart from established engineering ...
Development of a Software Engineering Ontology for Multisite Software Development

This paper aims to present an ontology model of software engineering to represent its knowledge. The fundamental knowledge relating to software engineering is well described in the textbook entitled Software Engineering by Sommerville that is now in its ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 14, Issue 4

June 1989

135 pages

ISSN:0163-5948

DOI:10.1145/75111

Editor:
W. Richards-Adrion
Univ. of Massachusetts, Amherst

Issue’s Table of Contents

ISPW '88: Proceedings of the 4th international software process workshop on Representing and enacting the software process
April 1988
74 pages
ISBN:0897913140
DOI:10.1145/75110
Editor:
C. Tully

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1988

Published in SIGSOFT Volume 14, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
260
Total Downloads

Downloads (Last 12 months)40
Downloads (Last 6 weeks)4

Reflects downloads up to 17 Jan 2025

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Index Terms

Recommendations

Development of software engineering: co-operative efforts from academia, government and industry

Software development: what it is, what it should be, and how to get there

Development of a Software Engineering Ontology for Multisite Software Development

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations