Search for Author All Reviews
	Gabrielian, Armen     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       Multilevel specification of real time systems Gabrielian A., Franklin M. Communications of the ACM 34(5): 50-60, 1991.  Type: Article The specification method for real-time software presented in this tutorial has been partly described by the authors in other published reports. The method centers around a hierarchy of automata, in which multiple states can be active a...... May 1 1992     The qualified function approach to analysis of program behavior and performance Gabrielian A., McNamee L., Trawick D. IEEE Transactions on Software Engineering SE-11(9): 758-773, 1985.  Type: Article This paper addresses the problem of evaluating computer program performance. The authors propose a formal analytical method to structure this type of study. For several constructs of a simplified PASCAL, they instruct the user on how t...... Mar 1 1986
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy