Trends in software design for distributed computing systems

This publication has 24 references indexed in Scilit:

• A structured bipartite inheritance network representation for object-oriented software design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• An approach to verification of communication in distributed computing system software
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Inheritance in Actor Based Concurrent Object-Oriented Languages
  The Computer Journal, 1989
• Heuristic algorithms for task assignment in distributed systems
  IEEE Transactions on Computers, 1988
• Verification of concurrent control flow in distributed computer systems
  IEEE Transactions on Software Engineering, 1988
• Task Allocation and Precedence Relations for Distributed Real-Time Systems
  IEEE Transactions on Computers, 1987
• A partitioning algorithm for distributed software systems design
  Information Sciences, 1986
• Modeling of Software Partition for Distributed Real-Time Applications
  IEEE Transactions on Software Engineering, 1985
• A formal methodology using attributed grammars for multiprocessing-system software development II. Validation
  Information Sciences, 1983
• A formal methodology using attributed grammars for multiprocessing-system software development. I. Design representation
  Information Sciences, 1983