The British Nationality Act as a logic program
Communications of the ACM
An integrated approach to software development
An integrated approach to software development
On the role of domain knowledge-based approaches to software development
ACM SIGSOFT Software Engineering Notes
Special section on architectures for knowledge-based systems
Communications of the ACM
Programming pearls: little languages
Communications of the ACM
Concurrent Programming Concepts
ACM Computing Surveys (CSUR)
Program design by informal English descriptions
Communications of the ACM
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
The nucleus of a multiprogramming system
Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Report on the algorithmic language ALGOL 60
Communications of the ACM
Readings in Knowledge Representation
Readings in Knowledge Representation
Formal Theories of the Commonsense World
Formal Theories of the Commonsense World
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
System design and implementation of BGRAF2
SIGGRAPH '78 Proceedings of the 5th annual conference on Computer graphics and interactive techniques
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Program enhancement: a position paper
ACM SIGSOFT Software Engineering Notes
ALGOL Bulletin
The Preparation of Programs for an Electronic Digital Computer (Charles Babbage Institute Reprint)
The Preparation of Programs for an Electronic Digital Computer (Charles Babbage Institute Reprint)
Simula Begin
Use of structure-based models in the development of expert systems
ACM SIGART Bulletin
Application development project support
ACM SIGSOFT Software Engineering Notes
Towards a metrics suite for object oriented design
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
A first step towards an evaluation framework taxonomy
ACM SIGOIS Bulletin
Acquiring knowledge about group facilitation: research propositions
SIGCPR '96 Proceedings of the 1996 ACM SIGCPR/SIGMIS conference on Computer personnel research
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Knowledge Specification of an Expert System
IEEE Expert: Intelligent Systems and Their Applications
Analysis and design of agent-oriented information systems
The Knowledge Engineering Review
A framework supporting the utilization of domain knowledge embedded in software
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
ICAI'05/MCBC'05/AMTA'05/MCBE'05 Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics
| Hi-index | 48.22 |
One of the primary effects of software abstraction has been to further the notion of computer programs as objects rather than moving programming closer to the problem being solved. Knowledge abstraction, however, allows software to take a significant step toward the problem domain.