Formalism and Intuition in Software Engineering.
Michael JacksonPublished in: Perspectives on the Future of Software Engineering (2013)
Keyphrases
- software engineering
- software development
- artificial intelligence
- software engineers
- development process
- software systems
- reverse engineering
- software maintenance
- knowledge representation
- programming language
- object oriented
- software design
- knowledge management
- software reuse
- neural network
- design patterns
- software projects
- human computer interaction
- computational properties
- software architecture
- conceptual graphs
- database
- software developers
- knowledge engineering
- representation language
- formal methods
- conceptual model
- situation calculus
- formal model
- general purpose
- relational databases
- case study
- information retrieval
- real time