sigmoid-colon
发表于 2025-3-28 18:25:28
http://reply.papertrans.cn/71/7002/700169/700169_41.png
cocoon
发表于 2025-3-28 21:52:55
Specifying and Reasoning about Business Rules in a Semantic Network,ught of as logical formulae that are attached to particular nodes. We define ., a formal structure that can capture this concept. We discuss several of the problems that arise in Augmented Semantic Networks and suggest solutions to these problems.
微尘
发表于 2025-3-29 02:55:40
Automata Describing Object Behavior,ntics to describe the behavior of objects. Based on the given semantics, we define a set of powerful refinement rules, and discuss their applicability in software engineering practice, especially with the use of inheritance.
microscopic
发表于 2025-3-29 03:42:06
,Formal Object-Oriented Method — Foom, and argue that the FOOM approach offers clear potential benefits within the Information Systems domain. The paper is non-technical in nature and is designed to offer a summary of existing work and future directions. References to the detailed and technical publications of the FOOM project are provided for the interested reader.
LITHE
发表于 2025-3-29 08:30:43
0893-3405 of a scientific discipline in analysis rather thanthe approach of a craft. The focus is on understanding customers‘needs and on precise specification of understanding gained throughanalysis. Specifications must bridge any gaps in understanding aboutbusiness rules among customers, Subject Matter Expe
刺耳的声音
发表于 2025-3-29 14:21:35
Exactness and Clarity in a Component-Based Specification Language,at given exactness, clarity can be achieved by building tools that hide much of the formalism from users. This paper presents three tools we are developing to hide a formal specification method from the average user.
flavonoids
发表于 2025-3-29 15:52:27
Dynamic and Multiple Classification,t or two different ones? Objects appear in our awareness when we first apply a concept to them, and objects disappear when concepts no longer apply. In this way, objects can seem to have their own lifecycles. To describe this change, we can employ sets.
faculty
发表于 2025-3-29 20:55:41
http://reply.papertrans.cn/71/7002/700169/700169_48.png
宣传
发表于 2025-3-30 03:45:31
Information Refraction, — ranging from $568 million to $815 million .. In April, 1994, a major financial consulting firm alleged that a government bond trader had created $350 million dollars of “nonexistent profits” with the misuse of a decision support system ..
inconceivable
发表于 2025-3-30 07:15:53
Invariants in the Trenches,l-life business analyst (“in the trenches”) of a non-consulting (in this case, insurance) company can become self-reliant and comfortable with the approach in a reasonably short period of time. It does so by presenting both general observations on business analysis, and specific experience from producing a real business specification.