找回密碼
 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
快速回復 返回頂部 返回列表
通化县| 阳江市| 闽侯县| 淮北市| 遂溪县| 富民县| 阿图什市| 上杭县| 固安县| 久治县| 图木舒克市| 方城县| 富蕴县| 子长县| 荔浦县| 阿鲁科尔沁旗| 永吉县| 长宁县| 阿鲁科尔沁旗| 云林县| 奉新县| 金阳县| 科尔| 乌拉特中旗| 甘肃省| 赤峰市| 杭锦旗| 漠河县| 沧州市| 葫芦岛市| 江阴市| 长岭县| 泰和县| 巴东县| 济宁市| 修水县| 新郑市| 阳朔县| 海宁市| 吉木萨尔县| 酉阳|