找回密碼
 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ù)制鏈接]
查看: 52660|回復(fù): 43
樓主
發(fā)表于 2025-3-21 18:40:18 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱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ā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2026-1-29 15:58
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
弥勒县| 斗六市| 嘉义县| 伽师县| 蕉岭县| 古浪县| 迁安市| 湛江市| 凤山县| 五家渠市| 榆树市| 门头沟区| 蒲江县| 玉屏| 祁东县| 宁武县| 额敏县| 澎湖县| 靖边县| 阳曲县| 驻马店市| 杂多县| 当涂县| 克拉玛依市| 贡觉县| 饶河县| 五河县| 天水市| 葫芦岛市| 布尔津县| 鱼台县| 团风县| 平南县| 六枝特区| 郁南县| 余江县| 宁陵县| 治多县| 徐州市| 阜城县| 二手房|