Search for Author All Reviews
	Hull, M     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Development methods for real-time systems Hull M., O’Donoghue P., Hagan B. The Computer Journal 34(2): 164-172, 1991.  Type: Article A traffic flow situation is used to explain how four different methodologies would handle the design of a real-time traffic light control system. Two of the methodologies--Jackson system design (JSD) and MASCOT3--have...... Mar 1 1992     Integrated deductive database system implementation: a systematic study Bell D., Shao J., Hull M. The Computer Journal 33(1): 40-48, 1990.  Type: Article A deductive database (DDBS) permits the derivation of new data from explicit data; logic is used for both data representation and data manipulation. A DDBS is a more powerful extension to conventional database systems (DBSs). DDBS conc...... Feb 1 1991     Communicating Sequential Processes for Centralized and Distributed Operating System Design Hull M., McKeag R. ACM Transactions on Programming Languages and Systems 6(2): 175-191, 1984.  Type: Article This paper promises a methodology for operating systems design based on Hoare’s Communicating Sequential Processes (CSP) notation [1]. The methodology developed for distributed resources consists of the following processes, ...... Mar 1 1985
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy