What Is `Mathematicalness' in Software Engineering?

Authors:
Hidetaka Kondoh
Affiliations:
-
Venue:
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Year:
2000

Citing 6
Cited 1

The mathematics of programming: an inaugural lecture delivered before the Univ. of Oxford on Oct. 17, 1985

The mathematics of programming: an inaugural lecture delivered before the Univ. of Oxford on Oct. 17, 1985
Programming in Martin-Lo¨f's type theory: an introduction

Programming in Martin-Lo¨f's type theory: an introduction
Software requirements & specifications: a lexicon of practice, principles and prejudices

Software requirements & specifications: a lexicon of practice, principles and prejudices
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Problems for a Philosophy of Software Engineering

Minds and Machines

Quantified Score

Hi-index	0.00

Visualization

Abstract