找回密碼
 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ù) 返回頂部 返回列表
绿春县| 松溪县| 和静县| 澎湖县| 清涧县| 裕民县| 汨罗市| 久治县| 赫章县| 工布江达县| 潍坊市| 大新县| 安陆市| 虞城县| 开封县| 兰坪| 竹山县| 安乡县| 巢湖市| 介休市| 武陟县| 西盟| 上栗县| 三原县| 永泰县| 白银市| 彭山县| 克山县| 榕江县| 二连浩特市| 长春市| 胶州市| 都江堰市| 涿鹿县| 石门县| 东兰县| 临潭县| 高阳县| 龙井市| 垦利县| 固始县|