![Models of computation / Temporal logic / UML diagrams / Aspect-oriented programming / Abstraction / Grammatical aspect / Kripke structure / Programming language / Monad / Software development / Aspect-oriented software development / Software engineering Models of computation / Temporal logic / UML diagrams / Aspect-oriented programming / Abstraction / Grammatical aspect / Kripke structure / Programming language / Monad / Software development / Aspect-oriented software development / Software engineering](https://www.pdfsearch.io/img/174378abfbcc256329caa0d90c75a456.jpg)
| Document Date: 2005-11-27 04:16:54 Open Document File Size: 267,12 KBShare 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 |