找回密碼
 To register

QQ登錄

只需一步，快速開始

掃一掃，訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Database Application Engineering with DAIDA; Matthias Jarke Book 1993 ECSC — EEC — EAEC, Brussels — Luxembourg 1993 Anforderungsmodellieru

[復制鏈接]
查看: 31179|回復: 54
樓主
發(fā)表于 2025-3-21 16:21:38 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Database Application Engineering with DAIDA
編輯Matthias Jarke
視頻videohttp://file.papertrans.cn/264/263346/263346.mp4
叢書名稱Research Reports Esprit
圖書封面Titlebook: Database Application Engineering with DAIDA; Matthias Jarke Book 1993 ECSC — EEC — EAEC, Brussels — Luxembourg 1993 Anforderungsmodellieru
描述In the early 1980s, a trend towards formal undeIStanding and knowledge-based assistance for the development and maintenance of database-intensive 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 of Hamburg completed their early work on the design and implementation of database programming languages (Pascal/R) and began to consider tools for the development of large database program packages. The Belgian company BIM developed a fast commercial Prolog which turned out to be useful as an implementation language for object- oriented knowledge representation schemes and as a prototyping tool for formal design models. Case studies by Vasant Dhar 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 thes
出版日期Book 1993
關(guān)鍵詞Anforderungsmodellierung; CASE Environments; CASE-Umgebungen; Database Programming; Datenbank-Programmie
版次1
doihttps://doi.org/10.1007/978-3-642-84875-9
isbn_softcover978-3-540-56291-7
isbn_ebook978-3-642-84875-9
copyrightECSC — EEC — EAEC, Brussels — Luxembourg 1993
The information of publication is updating

書目名稱Database Application Engineering with DAIDA影響因子(影響力)




書目名稱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讀者反饋學科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics
 

0票 0%

Better Implies Difficulty
 

0票 0%

Good and Satisfactory
 

0票 0%

Adverse Performance
 

0票 0%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 23:57:06 | 只看該作者
板凳
發(fā)表于 2025-3-22 01:37:05 | 只看該作者
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
地板
發(fā)表于 2025-3-22 04:51:12 | 只看該作者
5#
發(fā)表于 2025-3-22 09:48:46 | 只看該作者
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
6#
發(fā)表于 2025-3-22 14:21:00 | 只看該作者
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
7#
發(fā)表于 2025-3-22 17:35:21 | 只看該作者
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
8#
發(fā)表于 2025-3-23 01:18:16 | 只看該作者
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
9#
發(fā)表于 2025-3-23 04:52:54 | 只看該作者
Research Reports Esprithttp://image.papertrans.cn/d/image/263346.jpg
10#
發(fā)表于 2025-3-23 07:31:37 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-13 09:59
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復 返回頂部 返回列表
永善县| 鹿邑县| 古浪县| 天峨县| 昌邑市| 舞阳县| 大厂| 东平县| 泊头市| 牡丹江市| 黑河市| 苏尼特右旗| 永兴县| 巍山| 辽宁省| 罗甸县| 温泉县| 扎鲁特旗| 安龙县| 苏尼特左旗| 兰坪| 尼勒克县| 滨海县| 赣州市| 穆棱市| 肥西县| 宁陵县| 尚志市| 根河市| 江阴市| 鹿邑县| 抚松县| 双辽市| 鸡泽县| 独山县| 天柱县| 丰顺县| 宁化县| 喀喇| 盐池县| 布拖县|