tool specification
1.AndroMDA is an open source code generation tool which follows MDA specification. It has supports for present popular platforms and frameworks in J2EE domain, such as Spring, Hibernate and Struts.
2.This paper completely analyzes the OSI Reference Model and introduces a high-level Petri net called EPr/T net system,which is served as the formal specification tool of OSI network protocol. Afterwards,a formal specification of(N)protocol using EPr/T net system is given,and the general methods for the specification of OSI network protocol are outlined. At last,it is verified that the protocol has the properties of boundedness,liveness,reversibleness and etc.
3.Some tool systems for architectural design are introduced in this chapter. They are Unicon,a language and set of tools for architectural description, Aesop, a tool- kit for constructing style - specific architectural design environment and WRIGHT,a language supports architectural specification.
4.As it is difficult to Search and reuse the old courseware up till now, this paper presents a standard courseware packaging tool based on XML, it follows the LOM(Learning Object Model) and Specification for Content Packaging Information Model presented by China Educational Techonology Standards Committee.
5.Assist HK designer to issue color specification and review sculpt /model / tooling pattern for tool let, take turnaround photos of models.
6.A diagramming notation and specification tool that uses nested layers of brackets that represent the structure of thelogic used to transform input data into output data.
7.Operators must be familiar with the operation of linear cutting machines. (Lubricating oil must be injected to related parts required) Lubricate the related parts according to requirement. (Lubricating oil) The lubricant must meet the (requirements printed on specification sheet) the specification given in the instruction book of the machine tool.
8.A design of CAN body network of car is presented, which includes the topology, model of layered architecture, specification of data, and baud rate of the network. Through the simulation of the body network, the validity of the body network is analyzed. A new simulation tool, CANoe, is applied.
