
| Introduction A Meta-model Facility for a Family of UML Constraint Lknguages A New Type Checking Approach for OCL Version 2.0? OCL: Syntax, Semantics, and Tools On the Precise Meaning of OCL Constraints Expressing UML Class Diagrams Properties with OCL The Amsterdam Manifesto on OCL An OCL Extension for Real-Time Constraints Statistical Constraints and Verification 《Java》OCL Based on New Presentation of the OCL-Syntax The Semantics of the OCL Action Clause Constraint Trees Using OCL and UML to Specify System Behavior Author Index |
商品评论(0条)