OCL specification for the Velocity class
B vs OCL: comparing specification languages for Planning Domains
... Errors in pre- and postconditions Prevail conditions in OCL are pre-conditions that persist - that is, the ob- ject concerned does not change state during the opera- tion. An example of this would be the prevail ...
10
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
... 3 System and Software Processes, Siemens Corporate Technology Email: [email protected] Abstract: Due to the variety of concerns affecting software development in large organisations, processes have to be adapted to ...
7
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
... single class. Each metric is specified as an operation in this class using an OCL body ...as OCL queries in a separate file according to the metric names he has to specify when loading the ...
16
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
... only the most important ones. First, we should be able to deal with bags. Our idea here is to translate Bag -expressions using predicates, as we do for Set -expressions, but with an additional argument indicating the ...
14
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
... Integrated OCL Development Environment (IDE4OCL) can signifi- cantly improve the pragmatics and praxis of ...with OCL and the use cases we identified in a systematic analysis of requirements for an ...
16
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
... [email protected], [email protected] [email protected], [email protected] Abstract: A model-driven engineering process relies on a set of transformations which are usually ...
16
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
... In continuation of the example for the Homework activity we may want to group all HomeworkUIO into a certain screen area. The Activity type Homework was specified as an IterativeActivity and its instances are repeated ...
16
Translating alloy apecifications to UML class diagrams annotated with OCL
... Alloy’s logic is quite generic and does not commit to a particular specification style. For example, since atoms are immutable there is no standard way to model the dynamic behavior of operations, and several ...
16
Translating between Alloy specifications and UML class diagrams annotated with OCL
... fields. Specification and verification of invariants is quite simple with these idioms, but specification of more complex properties can be a bit cumbersome: in the lo- cal state idiom one must first model ...
22
6, 2007 CLASS SPECIFICATION
... Analyst class series is further distinguished from the Management Analyst class series by the incumbents' greater focus on performing detailed financial and budget analyses for special districts, enterprise ...
5
CLASS SPECIFICATION Environmental Specialist
... this class are responsible for directing the work of professional subordinates in an industrial waste or water- quality section; or performing or overseeing all phases of a water quality, natural resource or ...
7
OTM Class Specification Online Navigation
... Users can search freely in order to maximize efficiency and decrease the amount of time scrolling through the Class Plan looking for specific information. This is accomplished when the user conducts either of the ...
12
CLASS SPECIFICATION. Business Intelligence Supervisor
... PHYSICAL AND MENTAL DEMANDS Persons with disabilities may be able to perform the essential duties of this class with reasonable accommodation. Reasonable accommodation will be evaluated on an individual basis and ...
7
CLASS SPECIFICATION. Risk Management Administrator
... PHYSICAL AND MENTAL DEMANDS Persons with disabilities may be able to perform the essential duties of this class with reasonable accommodation. Reasonable accommodation will be evaluated on an individual basis and ...
5
Issues In the Design and Specification of Class Libraries
... Generality and extensibility play similar roles in class libraries. For example, the button library from a user interface toolkit might provide a col- lection of general purpose mouseable buttons that the user can ...
18
MONTGOMERY COLLEGE JOB CLASS SPECIFICATION
... Job Class Manages Office of Facilities design and construction project teams on specific campuses and/or within functional areas as assigned for smaller, less complex construction and renovation projects ...
5
Specification-based class testing: A case study
... for specification-based class ...abstract specification written in Object- Z and concludes by exercising an implementation with test cases and evaluating the ...Object-Z specification. The ...
10
PRINCIPAL CONSTRUCTION CONTRACTS ADMINISTRATOR (Class Specification)
... This class is distinguished from assigned unit manager in that the latter has managerial responsibility for all projects, programs, functions, and activities of a ...
6
CLASS SPECIFICATION Systems Support Analyst I
... An additional background check may be required to work at the San Diego County Regional Airport Authority (SDCRAA). PHYSICAL AND MENTAL DEMANDS Persons with disabilities may be able to perform the essential duties of ...
5
CLASS SPECIFICATION Technology Services Contracts Coordinator
... Under general direction, coordinates contracting activities and prepares related documents for the Bureau of Technology Services (BTS), which provides City-wide telecommunications, info[r] ...
5