標題: Titlebook: Behavioral Specifications of Businesses and Systems; Haim Kilov,Bernhard Rumpe,Ian Simmonds Book 1999 Springer Science+Business Media New [打印本頁] 作者: 租期 時間: 2025-3-21 20:02
書目名稱Behavioral Specifications of Businesses and Systems影響因子(影響力)
書目名稱Behavioral Specifications of Businesses and Systems影響因子(影響力)學(xué)科排名
書目名稱Behavioral Specifications of Businesses and Systems網(wǎng)絡(luò)公開度
書目名稱Behavioral Specifications of Businesses and Systems網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Behavioral Specifications of Businesses and Systems被引頻次
書目名稱Behavioral Specifications of Businesses and Systems被引頻次學(xué)科排名
書目名稱Behavioral Specifications of Businesses and Systems年度引用
書目名稱Behavioral Specifications of Businesses and Systems年度引用學(xué)科排名
書目名稱Behavioral Specifications of Businesses and Systems讀者反饋
書目名稱Behavioral Specifications of Businesses and Systems讀者反饋學(xué)科排名
作者: Hdl348 時間: 2025-3-21 22:55 作者: incarcerate 時間: 2025-3-22 00:24
https://doi.org/10.1007/978-1-84628-649-0 of one into the other. The current UML meta-model provides some support for (a) and (b), but not (c). (c) is the part that carries the semantics. This paper presents one such meta-model, for a fragment of UML suitable for describing and constraining object structures. The fragment includes parts of作者: 講個故事逗他 時間: 2025-3-22 06:53
Energy End-use Power Electronics Systems,emantic issues. While UML itself is mostly neutral with respect to good or bad designs, the consequences of allowing UML to . the development process include: inadequate object conceptualisation, poor control structures and poorly-coupled subsystems.作者: encyclopedia 時間: 2025-3-22 09:43
Book 1999y, and, specifically, how to succeed in understanding andspecifying businesses and systems based upon precise and abstractconcepts. It promotes reuse of such concepts, and of constructs basedon them, without taking reuse for granted. ..Behavioral Specifications of Businesses and Systems. is thesecon作者: Hemodialysis 時間: 2025-3-22 14:23
Behavioral Specifications of Businesses and Systems作者: 有權(quán) 時間: 2025-3-22 17:23 作者: 消音器 時間: 2025-3-23 00:19 作者: PANT 時間: 2025-3-23 04:17
,Applying ISO RM-ODP in the Specification of CORBA? Interfaces and Semantics to General Ledger Systeived and widely applicable domain specifications. The OMGGeneral Ledger Facility specification incorporates all five RM-ODP viewpoints: Enterprise, Information, Computational, Engineering and Technology.作者: 有節(jié)制 時間: 2025-3-23 05:33 作者: 武器 時間: 2025-3-23 10:48 作者: CLOWN 時間: 2025-3-23 17:50
https://doi.org/10.1007/978-3-319-13785-8uce a toolkit that automates the generation of parsers and transformers. A more specific objective is to apply these techniques to the problem of translating a CASE repository into logical theories of a formal methods system.作者: 抗原 時間: 2025-3-23 19:18 作者: 出來 時間: 2025-3-23 23:36
Object-Oriented Transformation,uce a toolkit that automates the generation of parsers and transformers. A more specific objective is to apply these techniques to the problem of translating a CASE repository into logical theories of a formal methods system.作者: 小說 時間: 2025-3-24 04:51
UML, The Future Standard Software Architecture Description Language?,se definition of its visibility rules. The integration of still missing concepts of component-based architecture description languages is out of the scope of this contribution. It is one of the main tasks ofthe OMG task force which is responsible for the development of a real-time modeling extension ofUML.作者: 不利 時間: 2025-3-24 09:00 作者: FECT 時間: 2025-3-24 13:44 作者: overrule 時間: 2025-3-24 17:23 作者: TOM 時間: 2025-3-24 22:38
On the Structure of Convincing Specifications,es such feedback from the solution to the problem set. This may be successfully applied to various, even seemingly quitedifferent, businesses — including the business of creating an information management system.作者: 吝嗇性 時間: 2025-3-24 23:39 作者: 發(fā)源 時間: 2025-3-25 03:37 作者: 博識 時間: 2025-3-25 11:01
0893-3405 d in this book describe useful and sometimes elegantconcepts, good practices (in programming and in specifications), andsolid underlying theory that is of interest and importance to thosewho deal with increased complexity of business and systems. Mostconcepts have been successfully used in actual in作者: outset 時間: 2025-3-25 15:32
https://doi.org/10.1007/978-1-84628-649-0ttempted to use our limited knowledge of Information Modeling to achieve that goal and make explicit all of the information necessary to develop systems that satisfy the business requirements. This document describes a small instance.作者: 鉆孔 時間: 2025-3-25 19:17 作者: faculty 時間: 2025-3-25 20:43
M. R. Davey,R. Marchant,J. B. Powere visual notation of UML-RT is not only very intuitive but it also has a very deep mathematical foundation. In a previous paper (see [GBSS98]) we presented part of this foundation, namely the theory of flow graphs. In this paper we use flow graphs to define themore powerful theory of interaction graphs.作者: 管理員 時間: 2025-3-26 02:34 作者: Diastole 時間: 2025-3-26 04:49 作者: 撕裂皮肉 時間: 2025-3-26 10:32 作者: Vldl379 時間: 2025-3-26 15:29 作者: 聯(lián)邦 時間: 2025-3-26 16:56
Genetic Engineering for Virus Resistance The specification process is divided into four phases - declaration of input and output spaces, specification of entities composing the system, definition of constraints on well-formed input sequences, and specification of input-output behavior.作者: 解決 時間: 2025-3-26 21:31 作者: sterilization 時間: 2025-3-27 01:26
https://doi.org/10.1007/978-1-4615-2441-0cit. One of the roadblocks to this formalization process is the issue of association semantics. Different terminologies specify associations from different perspectives and at varying degrees of specificity. These associations need to be mapped into a common model that is useful to both the terminologist and the information modeler.作者: optic-nerve 時間: 2025-3-27 05:49 作者: FRET 時間: 2025-3-27 13:13
Object-Oriented Transformation,ment and code generation. Refinement is the process of transforming one specification into a more detailed specification. Specifications and their refinements typically do not use the same specification language. Code generation is also a transformation, where the target language is a programming la作者: 不發(fā)音 時間: 2025-3-27 14:51 作者: 事與愿違 時間: 2025-3-27 18:55
What vs. How of Visual Modeling: The Arrow Logic of Graphic Notations,ational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure of diagram predicates and operations.作者: Fulminate 時間: 2025-3-28 01:20
Meta-Modelling Semantics of UML,f the standard definition primarily provides a description of the language’s syntax and well-formedness rules. The meaning of the language, which is mainly described in English, is too informal and unstructured to provide a foundation for developing formal analysis and development techniques. This p作者: 積習(xí)已深 時間: 2025-3-28 04:47 作者: 鈍劍 時間: 2025-3-28 10:10 作者: Estrogen 時間: 2025-3-28 12:46
,Applying ISO RM-ODP in the Specification of CORBA? Interfaces and Semantics to General Ledger Systeationally agreed standard for software interfaces to the General Ledger component of Financial Accounting business systems. This standard, called the General Ledger Facility, is currently in the latter stages of formal adoption by the Object Management Group (OMG) and will become part of its global 作者: 賞心悅目 時間: 2025-3-28 18:03
Component-Based Algebraic Specification,mponents is that components are usuallyprovided in binary code and users of components cannot debug them. So, components should be carefully implemented and the users need rigorous specifications of them. Specifications of components should provide information not only of their interface but also th作者: –FER 時間: 2025-3-28 21:34
A Meta-Model Semantics for Structural Constraints In UML,he construction of automated tools, but the semantics is defined by statements in English. A meta-model that incorporates precise semantics would support the construction of tools that could perform semantically-oriented tasks, such as consistency checking. One approach to defining the formal semant作者: HPA533 時間: 2025-3-29 01:55 作者: averse 時間: 2025-3-29 03:08
Formalising the UML in Structured Temporal Theories,ral logic. This semantic representation is suitable for modular reasoning about UML models. We show how it can be used to clarify certain ambiguous cases of UML semantics, and how to justify enhancement or refinement transformations on UML models.作者: Junction 時間: 2025-3-29 07:54
JML: A Notation for Detailed Design, require only modest mathematical training. It uses Eiffel-style syntax combined with model-based semantics, as in VDM and Larch. JML supports quantifiers, specification-only variables, and other enhancements that make it more expressive for specification than Eiffel and easier to use than VDM and L作者: 輕浮女 時間: 2025-3-29 15:13
UML, The Future Standard Software Architecture Description Language?,re and the expected behavior of a software system. It has the potential to replace many previously used software architecture description languages. This is especially true for the subset of so-called module interconnection languages. Compared with these languages UML has the main drawback that its 作者: foppish 時間: 2025-3-29 15:53 作者: Enrage 時間: 2025-3-29 20:05 作者: 沒血色 時間: 2025-3-30 02:12
30 Things that Go Wrong in Object Modelling with UML 1.3,ad adoption of UML standard notations. The catalogue is revised to reflect changes made between UML versions 1.1 and 1.3, in which a number of semantic inconsistencies in the notation were fixed. Notwithstanding this, developers still seem to create inordinate problems for themselves by pursuing unp作者: 小平面 時間: 2025-3-30 05:19 作者: 死貓他燒焦 時間: 2025-3-30 08:19 作者: FUME 時間: 2025-3-30 13:31 作者: 細微的差異 時間: 2025-3-30 18:01
M. L. Mohan,K. V. Krishnamurthyformal service description is a model (constructed by an observer: the analyst) of a service desired by an agent (in the context of the agent’s world model). The assessment of its validity involves subjecting it to such operations as’ horizontal’ composition (with models of other services with which作者: configuration 時間: 2025-3-30 23:54
https://doi.org/10.1007/978-94-017-0109-9ational diversity as the diversity of visualizations of the same basic specificational format. It is argued that the task can be well approached in the arrow-diagram logic framework where specifications are directed graphs carrying a structure of diagram predicates and operations.作者: abysmal 時間: 2025-3-31 03:29 作者: theta-waves 時間: 2025-3-31 07:22 作者: mercenary 時間: 2025-3-31 12:45
M. R. Davey,R. Marchant,J. B. Powere specification and design of object oriented systems. This standard is currently tuned for real time applications in the form of a newproposal, UML for Real-Time (UML-RT), by Rational Software Corporation and ObjecTime Limited. Because of the importance of UML-RT we are investigating its formal fou作者: 背信 時間: 2025-3-31 14:53
https://doi.org/10.1007/978-1-349-08496-8ationally agreed standard for software interfaces to the General Ledger component of Financial Accounting business systems. This standard, called the General Ledger Facility, is currently in the latter stages of formal adoption by the Object Management Group (OMG) and will become part of its global 作者: 猜忌 時間: 2025-3-31 20:36
https://doi.org/10.1007/978-1-349-08496-8mponents is that components are usuallyprovided in binary code and users of components cannot debug them. So, components should be carefully implemented and the users need rigorous specifications of them. Specifications of components should provide information not only of their interface but also th作者: 榮幸 時間: 2025-3-31 22:57 作者: Callus 時間: 2025-4-1 03:40 作者: BILL 時間: 2025-4-1 07:30 作者: 多嘴 時間: 2025-4-1 12:47
