A knowledge-based system for computer algebra
ACM SIGSAM Bulletin
Recommendations for software engineering education
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Please: a language combining imperative and logic programming
ACM SIGPLAN Notices
ICSE '88 Proceedings of the 10th international conference on Software engineering
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
The IC model of parallel computation and programming environment
ACM SIGCOMM Computer Communication Review
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
An example of formal specification as an aid to design and development
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Multi-level specification and verification of real-time software
ICSE '90 Proceedings of the 12th international conference on Software engineering
ABSL: an actor-based specification language for office automation
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Multilevel specification of real time systems
Communications of the ACM - Special issue on software engineering
A formal specification tool for distributed office systems
ACM SIGSMALL/PC Notes
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
The IC* Model of Parallel Computation and Programming Environment
IEEE Transactions on Software Engineering
Document based rational software development
Knowledge-Based Systems
Component Interface Documentation: What do we Need and Why do we Need it?
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
Hi-index | 0.00 |