書目名稱Database Application Engineering with DAIDA影響因子(影響力)學科排名
書目名稱Database Application Engineering with DAIDA網(wǎng)絡公開度
書目名稱Database Application Engineering with DAIDA網(wǎng)絡公開度學科排名
書目名稱Database Application Engineering with DAIDA被引頻次
書目名稱Database Application Engineering with DAIDA被引頻次學科排名
書目名稱Database Application Engineering with DAIDA年度引用
書目名稱Database Application Engineering with DAIDA年度引用學科排名
書目名稱Database Application Engineering with DAIDA讀者反饋
書目名稱Database Application Engineering with DAIDA讀者反饋學科排名
作者: 失敗主義者 時間: 2025-3-21 23:57 作者: JAMB 時間: 2025-3-22 01:37
Specification and Refinement of Databases and Transactionss expressed in Dijkstra’s substitution calculus. This sets up the formal basis of the mapping assistant. The relationship between the predicative and the substitution-based specification style is discussed formally using predicate transformers and set-theoretic semantics. We state an equivalence bet作者: 別炫耀 時間: 2025-3-22 04:51 作者: 籠子 時間: 2025-3-22 09:48
Turkey, Kemalism, and the “Deep State”is designed to record the argumentation related to deliberations. Our model was validated using a study of problem solving behavior of individual and groups of systems analysts engaged in a simulated requirements engineering exercise. We have implemented a prototype of an environment to support the 作者: glans-penis 時間: 2025-3-22 14:21
Timothy M. Shaw,E. John Inegbedions expressed in Dijkstra’s substitution calculus. This sets up the formal basis of the mapping assistant. The relationship between the predicative and the substitution-based specification style is discussed formally using predicate transformers and set-theoretic semantics. We state an equivalence bet作者: glans-penis 時間: 2025-3-22 17:35
Book 1993hias Jarke in New York pointed out the need for formally representing process knowledge, and a number of projects in the US and Europe began to consider computer assistance (CASE) as a viable approach to support software engineering. In 1985, the time appeared ripe for an attempt at integrating thes作者: Culpable 時間: 2025-3-23 01:18
r and Matthias Jarke in New York pointed out the need for formally representing process knowledge, and a number of projects in the US and Europe began to consider computer assistance (CASE) as a viable approach to support software engineering. In 1985, the time appeared ripe for an attempt at integrating thes978-3-540-56291-7978-3-642-84875-9作者: 預測 時間: 2025-3-23 04:52
Research Reports Esprithttp://image.papertrans.cn/d/image/263346.jpg作者: pus840 時間: 2025-3-23 07:31 作者: Infirm 時間: 2025-3-23 10:55 作者: 不能平靜 時間: 2025-3-23 17:52
International Political Economy SeriesThe DBPL system and its environment support the modular implementation of advanced data-intensive applications based on integrated database and programming language technology. It provides state-of-the-art system support at application compile-, link- and run-time as well as tools for incremental application evolution.作者: 兩種語言 時間: 2025-3-23 20:50 作者: inhibit 時間: 2025-3-24 01:30
Representing Knowledge About Information Systems in TelosTelos . knowledge-intensive . the primary responsibility of any language intended for the task is to be able to formally represent the relevant knowledge. 作者: 特征 時間: 2025-3-24 02:29 作者: 不透明 時間: 2025-3-24 08:49
https://doi.org/10.1057/9781137521309asses of the proposed system, the functions and transactions manipulating them, and the larger conceptual groupings of these actions into long-term activities, which we call scripts. The design of the language is based on ideas from semantic data models and formal specification languages.作者: 眨眼 時間: 2025-3-24 12:30
Introduction: A Storm in a Teacup? construction of correct, modular and efficient database programs integrating well-developed compilation and database technology..After an introduction to the language concepts of DBPL, two methodological aspects central to the implementation of database applications are discussed. The first task is作者: KEGEL 時間: 2025-3-24 16:25
https://doi.org/10.1057/9781137409997guage [BS85] and related approaches using the concepts of semantic networks and frame-based systems [BL85] started relatively early. Especially the concepts of objects, systematized by abstraction principles of.turned out to be very suitable for the specification of large Information Systems [Gre84]作者: 聲音刺耳 時間: 2025-3-24 20:38
https://doi.org/10.1057/9781137409997he study of security aspects. The modeling framework is the Group Security Model (GSM) which describes access rights through a teamwork-oriented organizational model. Reasoning about GSM application models is enabled by representing them in a deductive and object-oriented database language, Telos. A作者: Adulate 時間: 2025-3-25 01:42
Turkey, Kemalism, and the “Deep State”fe cycle is lost. This knowledge, which we call the process knowledge, involving the deliberation on alternative requirements and design decisions, is lost in the course of designing and changing such systems. Extending earlier work, we present a formalism called REMAP (REpresentation and MAintenanc作者: 不整齊 時間: 2025-3-25 03:42
https://doi.org/10.1057/9781137426284also for their usage in generating system designs. The generation of a design is achieved by mapping elements of the requirements model into one or more corresponding design objects. This mapping process is guided by two considerations. Locally, the process is directed by dependency types among requ作者: inculpate 時間: 2025-3-25 07:45
Timothy M. Shaw,E. John Inegbedionto implementation. In DAIDA we used the language TDL for design specification and DBPL, a procedural database programming language with persistent values and transactions, for implementation. In focusing on the transformation from TDL to DBPL we discuss the relationship between the specification and作者: FLIRT 時間: 2025-3-25 15:26
https://doi.org/10.1007/978-1-349-11877-9cial intelligence programming In DAIDA, object-orientation is the main underlying modelling and programming philosophy [JT88]. TDL is a language that was proposed as an object-oriented modelling and rapid- prototyping tool at the design level in the database application building life cycle of the DA作者: backdrop 時間: 2025-3-25 16:27
Conflict, Violent Extremism and Developmentng documents produced through the lifetime of a software product. Each file handles a project, i.e. it manages an evolving program In contrast, in repositories, the focus of attention moves from merely capturing data to sharing and integration. Repositories maintain data consistency and disseminate 作者: BLAZE 時間: 2025-3-25 21:25 作者: botany 時間: 2025-3-26 02:46 作者: paragon 時間: 2025-3-26 04:45
The TaxisDL Software Description Languageasses of the proposed system, the functions and transactions manipulating them, and the larger conceptual groupings of these actions into long-term activities, which we call scripts. The design of the language is based on ideas from semantic data models and formal specification languages.作者: TAG 時間: 2025-3-26 12:12 作者: inconceivable 時間: 2025-3-26 13:49
https://doi.org/10.1007/978-3-642-84875-9Anforderungsmodellierung; CASE Environments; CASE-Umgebungen; Database Programming; Datenbank-Programmie作者: Femine 時間: 2025-3-26 17:38 作者: exceed 時間: 2025-3-26 21:09
Requirements Modelling and System Specification in a Logic Based Knowledge Representation Frameworkncepts of objects, systematized by abstraction principles of.turned out to be very suitable for the specification of large Information Systems [Gre84]. This approach was further enhanced by adding logical assertions to express the intended meaning of the objects. This lead to the . [Sta86] and to its enhanced version . described in this chapter.作者: Congregate 時間: 2025-3-27 01:07 作者: 燈泡 時間: 2025-3-27 05:19 作者: Interferons 時間: 2025-3-27 13:03
ConceptBase: A Telos-Based Software Information Systemositories, the focus of attention moves from merely capturing data to sharing and integration. Repositories maintain data consistency and disseminate objects and dependencies inside an environment. What then are useful data modeling facilities?作者: BANAL 時間: 2025-3-27 14:01
Process Services in ConceptBasefied conceptual metamodel of design processes and illustrate it with examples from the DAIDA project. The model is called CAD°, for Conversations among Agents on Decisions about Objects. It is supported by a collection of knowledge-based assistants and structures in the ConceptBase system.作者: Comedienne 時間: 2025-3-27 20:36 作者: 食物 時間: 2025-3-28 00:10 作者: Axon895 時間: 2025-3-28 02:10
Mapping Information System Requirements to Designsuide local mapping decisions. The chapter includes the description of a prototype implementation — called IRIS — of aspects of the proposed mapping framework and illustrates its features through a sample session.作者: Crayon 時間: 2025-3-28 07:27
Human Needs and the Modernization of Povertyd on experiences in a real-world case study. Although version management and configuration control is the chief task of the proposed decision-oriented configuration model, it also serves as a platform for group process management in the cooperation among multiple software engineers.作者: 行乞 時間: 2025-3-28 12:36 作者: 乏味 時間: 2025-3-28 18:34
nsive information systems became apparent. The group of John Mylopoulos at the UniveISity of Toronto and their European collaboratoIS moved from semantic models of information systems design (Taxis project) towards earlier stages of the software lifecycle. Joachim Schmidt‘s group at the University o作者: Amorous 時間: 2025-3-28 22:04
https://doi.org/10.1057/9781137409997ncepts of objects, systematized by abstraction principles of.turned out to be very suitable for the specification of large Information Systems [Gre84]. This approach was further enhanced by adding logical assertions to express the intended meaning of the objects. This lead to the . [Sta86] and to its enhanced version . described in this chapter.作者: Negotiate 時間: 2025-3-29 01:41 作者: V洗浴 時間: 2025-3-29 03:19 作者: 大喘氣 時間: 2025-3-29 09:35
Conflict, Violent Extremism and Developmentositories, the focus of attention moves from merely capturing data to sharing and integration. Repositories maintain data consistency and disseminate objects and dependencies inside an environment. What then are useful data modeling facilities?作者: 不能強迫我 時間: 2025-3-29 15:10 作者: Osteoarthritis 時間: 2025-3-29 15:51 作者: Dorsal-Kyphosis 時間: 2025-3-29 22:21
Modular and Rule-Based Database Programming in DBPL construction of correct, modular and efficient database programs integrating well-developed compilation and database technology..After an introduction to the language concepts of DBPL, two methodological aspects central to the implementation of database applications are discussed. The first task is作者: corpus-callosum 時間: 2025-3-30 03:43 作者: 討人喜歡 時間: 2025-3-30 04:12
Modeling Security Requirements in Information Systemshe study of security aspects. The modeling framework is the Group Security Model (GSM) which describes access rights through a teamwork-oriented organizational model. Reasoning about GSM application models is enabled by representing them in a deductive and object-oriented database language, Telos. A作者: 過分 時間: 2025-3-30 09:48 作者: 出來 時間: 2025-3-30 13:29 作者: Graduated 時間: 2025-3-30 17:05 作者: 吞下 時間: 2025-3-30 21:24 作者: Angioplasty 時間: 2025-3-31 02:38
