找回密碼
 To register

QQ登錄

只需一步，快速開始

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

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 31182|回復(fù): 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影響因子(影響力)學(xué)科排名




書目名稱Database Application Engineering with DAIDA網(wǎng)絡(luò)公開度




書目名稱Database Application Engineering with DAIDA網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Database Application Engineering with DAIDA被引頻次




書目名稱Database Application Engineering with DAIDA被引頻次學(xué)科排名




書目名稱Database Application Engineering with DAIDA年度引用




書目名稱Database Application Engineering with DAIDA年度引用學(xué)科排名




書目名稱Database Application Engineering with DAIDA讀者反饋




書目名稱Database Application Engineering with DAIDA讀者反饋學(xué)科排名




單選投票, 共有 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ù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-13 16:02
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
三台县| 呼伦贝尔市| 神木县| SHOW| 托里县| 抚远县| 资阳市| 武川县| 玉林市| 阿拉尔市| 沈阳市| 明溪县| 连城县| 河池市| 保山市| 大荔县| 犍为县| 肥西县| 绥棱县| 鸡泽县| 清水河县| 长沙县| 赤水市| 佛山市| 临江市| 石泉县| 满洲里市| 西峡县| 九龙城区| 屯昌县| 大名县| 莱阳市| 固原市| 肇东市| 鱼台县| 云林县| 大洼县| 新干县| 古丈县| 荔浦县| 江孜县|