找回密碼
 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
快速回復 返回頂部 返回列表
桐梓县| 横山县| 清徐县| 旬阳县| 峨边| 棋牌| 清新县| 樟树市| 五河县| 阿拉善盟| 台前县| 义乌市| 渝北区| 栾城县| 运城市| 新民市| 连南| 武鸣县| 德令哈市| 沈丘县| 隆德县| 北票市| 玉田县| 新源县| 辽宁省| 突泉县| 将乐县| 通海县| 明星| 新平| 南丹县| 东兴市| 咸宁市| 万州区| 三门峡市| 诏安县| 稷山县| 聂拉木县| 星子县| 明光市| 东明县|