Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel - Shmuel Katz - Document - PDFSEARCH.IO

First Page	Meta Content
	Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List Document Date: 2005-11-27 04:16:54 Open Document File Size: 267,12 KB Share Result on Facebook Company SEMANTICS OF ASPECTS AND OBJECT SYSTEMS / / / IndustryTerm software model checkers / implicit cross product / on-line bookshop / code analysis systems / online exam system / object systems / software development / online exams / aspect systems / cross product / / OperatingSystem Xp / / Organization Technion / / Person Shmuel Katz / / ProgrammingLanguage AspectJ / / SocialTag Models of computation Temporal logic UML diagrams Aspect-oriented programming Abstraction Grammatical aspect Kripke structure Programming language Monad Software development

Aspect Categories and Classes of Temporal Properties Shmuel Katz Computer Science The Technion Haifa Israel Add to Reading List