Efficient encoding of application layer PDU's for fieldbus networks
ACM SIGCOMM Computer Communication Review
Formalization of the control stack
ACM SIGPLAN Notices
A Theory of Reduced and Minimal Procedural Dependencies
IEEE Transactions on Computers
S-R machines: a visual formalism for reactive and interactive systems
ACM SIGSOFT Software Engineering Notes
Stimulus response machines: an Ada-based graphic formalism for describing class and object behavior
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
A high-level approach to computer document formatting
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reusability of Mathematical Software: A Contribution
IEEE Transactions on Software Engineering
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
A Modeller's Workbench: Experiments in Object-Oriented Simulation
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Paragon: Novel uses of type hierarchies for data abstraction
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Pascal procedures and functions for teaching linear data structures
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Introducing "theory" in the second programming course
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
A flexible semantic analyzer for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A flexible semantic analyzer for Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
IEEE Transactions on Software Engineering
Algorithmic Analysis of Production Systems Used as Agent-Based Social Simulation Models
Epistemological Aspects of Computer Simulation in the Social Sciences
Quality emphasis at IBM's software engineering institute
IBM Systems Journal
Hi-index | 0.00 |
From the Publisher:This textbook is designed to support an intermediate-level course in computer science. It is intended for students who have at least one or two semesters of programming and problem-solving experience and wish to prepare for more advanced topics in computing. Ideally, the students will also have a semester's background in discrete mathematics. This textbook is also an introduction to the science that underlies good programming.