找回密碼
 To register

QQ登錄

只需一步，快速開始

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

打印 上一主題 下一主題

Titlebook: Software Engineering with OBJ; Algebraic Specificat Joseph Goguen,Grant Malcolm Book 2000 Springer Science+Business Media New York 2000 Har

[復(fù)制鏈接]
查看: 52655|回復(fù): 43
樓主
發(fā)表于 2025-3-21 18:40:18 | 只看該作者 |倒序瀏覽 |閱讀模式
書目名稱Software Engineering with OBJ
副標(biāo)題Algebraic Specificat
編輯Joseph Goguen,Grant Malcolm
視頻videohttp://file.papertrans.cn/871/870878/870878.mp4
叢書名稱Advances in Formal Methods
圖書封面Titlebook: Software Engineering with OBJ; Algebraic Specificat Joseph Goguen,Grant Malcolm Book 2000 Springer Science+Business Media New York 2000 Har
描述.Software Engineering with OBJ: Algebraic Specification inAction. is a comprehensive introduction to OBJ, the most widely usedalgebraic specification system. As a formal specification language,OBJ makes specifications and designs more precise and easier to read,as well as making maintenance easier and more accurate. OBJ differsfrom most other specification languages not just in having a formalsemantics, but in being executable, either through symbolic executionwith term rewriting, or more generally through theorem proving. Oneproblem with specifications is that they are often wrong. OBJ can helpvalidate specifications by executing test cases, and by provingproperties. .As well as providing a detailed introduction to the language and theOBJ system that implements it, .Software Engineering with OBJ:..Algebraic Specification in Action. provides case studies byleading practitioners in the field, in areas such as computer graphicsstandards, hardware design, and parallel computation. The case studiesdemonstrate that OBJ can be used in a wide variety of ways to achievea wide variety of practical aims in the system development process.The papers on various OBJ systems also demonstrate that
出版日期Book 2000
關(guān)鍵詞Hardware; algebra; computer; computer graphics; design; formal specification; language; programming; program
版次1
doihttps://doi.org/10.1007/978-1-4757-6541-0
isbn_softcover978-1-4419-4965-3
isbn_ebook978-1-4757-6541-0Series ISSN 1567-7338
issn_series 1567-7338
copyrightSpringer Science+Business Media New York 2000
The information of publication is updating

書目名稱Software Engineering with OBJ影響因子(影響力)




書目名稱Software Engineering with OBJ影響因子(影響力)學(xué)科排名




書目名稱Software Engineering with OBJ網(wǎng)絡(luò)公開度




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




書目名稱Software Engineering with OBJ被引頻次




書目名稱Software Engineering with OBJ被引頻次學(xué)科排名




書目名稱Software Engineering with OBJ年度引用




書目名稱Software Engineering with OBJ年度引用學(xué)科排名




書目名稱Software Engineering with OBJ讀者反饋




書目名稱Software Engineering with OBJ讀者反饋學(xué)科排名




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

1票 100.00%

Perfect with Aesthetics
 

0票 0.00%

Better Implies Difficulty
 

0票 0.00%

Good and Satisfactory
 

0票 0.00%

Adverse Performance
 

0票 0.00%

Disdainful Garbage
您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:57:00 | 只看該作者
Victoria Stavridouudium an Fachhochschulen und Universit?ten sowie an Anwender mathematischer Methoden in der Wirtschaftspraxis..Professor Dr. Heinrich Holland lehrt Quantitative Methoden der Betriebswirtschaftslehre und Marketing an der University of Applied Sciences in Mainz. .Doris Holland ist Dozentin für Wirtsch
板凳
發(fā)表于 2025-3-22 02:49:03 | 只看該作者
David A. Duceudium an Fachhochschulen und Universit?ten sowie an Anwender mathematischer Methoden in der Wirtschaftspraxis..Professor Dr. Heinrich Holland lehrt Quantitative Methoden der Betriebswirtschaftslehre und Marketing an der University of Applied Sciences in Mainz. .Doris Holland ist Dozentin für Wirtsch
地板
發(fā)表于 2025-3-22 07:12:08 | 只看該作者
udium an Fachhochschulen und Universit?ten sowie an Anwender mathematischer Methoden in der Wirtschaftspraxis..Professor Dr. Heinrich Holland lehrt Quantitative Methoden der Betriebswirtschaftslehre und Marketing an der University of Applied Sciences in Mainz. .Doris Holland ist Dozentin für Wirtsch
5#
發(fā)表于 2025-3-22 10:45:58 | 只看該作者
Joseph A. Goguengelegt, in jedem Kapitel den Stoff an- hand von Beispielaufgaben, die aus dem Bereich der Wirtschaft stammen, zu erl?utern und zu vertiefen. Weitere Aufgaben mit Musterl?sungen machen es m?glich, den Stoff selbst zu erarbeiten. Sie k?nnen zur Selbstkontrolle und zur Prüfungsvorbereitung genutzt werd
6#
發(fā)表于 2025-3-22 15:15:05 | 只看該作者
7#
發(fā)表于 2025-3-22 17:38:18 | 只看該作者
8#
發(fā)表于 2025-3-22 22:36:00 | 只看該作者
Kazuhito Ohmaki,Koichi Takahashi,Kokichi Futatsugi
9#
發(fā)表于 2025-3-23 05:15:26 | 只看該作者
10#
發(fā)表于 2025-3-23 06:18:14 | 只看該作者
Joseph A. Goguen,Timothy Winkler,José Meseguer,Kokichi Futatsugi,Jean-Pierre Jouannaudzu bringen. übersichtlich strukturierte Schemata geben dabei eine Hilfestellung. Aus diesem Grund wird ein besonderer Wert darauf gelegt, in jedem Kapitel den Stoff anhand von Beispielaufgaben, die aus dem Bereich der Wirtschaft stammen, zu erl?978-3-8349-9674-9
 關(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, 2026-1-29 14:21
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
两当县| 霍邱县| 阿克陶县| 青田县| 苏州市| 达日县| 应用必备| 峡江县| 岳阳县| 萨迦县| 贡嘎县| 梁河县| 岑溪市| 鄢陵县| 竹溪县| 定南县| 穆棱市| 宁蒗| 沙雅县| 双桥区| 安多县| 安国市| 九龙城区| 山丹县| 乐至县| 海南省| 繁昌县| 舞阳县| 屏南县| 健康| 仁寿县| 佛学| 舒兰市| 台北县| 商水县| 义马市| 荆门市| 芒康县| 潞城市| 马尔康县| 沭阳县|