標(biāo)題: Titlebook: Larch: Languages and Tools for Formal Specification; John V. Guttag,James J. Horning,J. M. Wing Book 1993 Springer-Verlag New York, Inc. 1 [打印本頁(yè)] 作者: frustrate 時(shí)間: 2025-3-21 18:10
書目名稱Larch: Languages and Tools for Formal Specification影響因子(影響力)
書目名稱Larch: Languages and Tools for Formal Specification影響因子(影響力)學(xué)科排名
書目名稱Larch: Languages and Tools for Formal Specification網(wǎng)絡(luò)公開(kāi)度
書目名稱Larch: Languages and Tools for Formal Specification網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Larch: Languages and Tools for Formal Specification被引頻次
書目名稱Larch: Languages and Tools for Formal Specification被引頻次學(xué)科排名
書目名稱Larch: Languages and Tools for Formal Specification年度引用
書目名稱Larch: Languages and Tools for Formal Specification年度引用學(xué)科排名
書目名稱Larch: Languages and Tools for Formal Specification讀者反饋
書目名稱Larch: Languages and Tools for Formal Specification讀者反饋學(xué)科排名
作者: PATRI 時(shí)間: 2025-3-21 23:47 作者: Concrete 時(shí)間: 2025-3-22 01:53 作者: Enthralling 時(shí)間: 2025-3-22 05:59 作者: 秘密會(huì)議 時(shí)間: 2025-3-22 10:08 作者: 令人心醉 時(shí)間: 2025-3-22 15:25 作者: ARIA 時(shí)間: 2025-3-22 20:31 作者: 細(xì)絲 時(shí)間: 2025-3-22 21:15 作者: Offbeat 時(shí)間: 2025-3-23 01:51
Specifications in Program Development,This book is about formal specification of programs and components of programs. We are interested in using specifications to help in the production and maintenance of high quality software.作者: Repatriate 時(shí)間: 2025-3-23 05:33
A Little Bit of Logic,This chapter contains all the logic one needs to know to understand Larch.作者: 豐富 時(shí)間: 2025-3-23 13:24
LSL: The Larch Shared Language,This chapter provides a tutorial introduction the the Larch Shared Language (LSL). It begins by systematically working through the features of the language, illustrating each with a short example. It concludes with a slightly longer example, designed to illustrate how the various features of the language can be used in concert.作者: Melanoma 時(shí)間: 2025-3-23 14:10 作者: 耐寒 時(shí)間: 2025-3-23 20:58 作者: hyperuricemia 時(shí)間: 2025-3-24 00:36
Conclusion,Larch is still very much a “work in progress.” New Larch interface languages are being designed, new tools are being built, and the existing languages and tools are in a state of evolution. Most significantly, specifications are being written.作者: HIKE 時(shí)間: 2025-3-24 03:16
angelischen Akademie Nord-elbien, und Lauenburg, veranstaltet von der Friedrich-Naumann-Stiftung, hatten — Auftrag und Zielgruppe solcher Einrichtungen entsprechend — eher wi?ensvermittelnden Charakter. Ein gro?er Teil der Beitr?ge ist daher eher von referierender Art und bietet wenig Neues. Im best作者: Mawkish 時(shí)間: 2025-3-24 10:09 作者: 混亂生活 時(shí)間: 2025-3-24 11:49
John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Winger Eucharistie, bei Teebr?tchen, Aufschnitt und Wein bereitet der Ehebruch sich vor. Am Ende nimmt Crampas, zu deren Verwirrung und Verlegenheit, Effis Weinglas als Liebespfand an sich, als Vorzeichen eines anderen Kelches, aus dem er noch zu schlürfen gedenkt. Dass Fontane an dieser zentralen Stell作者: 公共汽車 時(shí)間: 2025-3-24 15:48
John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wingnstituts fungiert, n?mlich ich selber, handelt es sich um den Verleger Bruno Kehrein vom Grupello-Verlag in Düsseldorf, den Buchh?ndler Rudolf Müller von der gleichnamigen Literaturhandlung hier am Orte und den Literaturredakteur der ?Rheinischen Post? Lothar Schr?der. Die drei Herren sind der Heine作者: 揮舞 時(shí)間: 2025-3-24 22:46 作者: 偽善 時(shí)間: 2025-3-25 00:54
John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wingd immer auch schon zum Teil von promovierten Referentinnen und Referenten gehalten wurden, bereits im Namen der Tagung deutlich wird, haben Heinrich-Heine-Institut, Heinrich-Heine-Gesellschaft und Heinrich-Heine-Universit?t die seit 1998 regelm??ig zum Heine-Geburtstag unter dem Namen ?Düsseldorfer 作者: JOT 時(shí)間: 2025-3-25 07:15 作者: 種類 時(shí)間: 2025-3-25 08:50 作者: 熒光 時(shí)間: 2025-3-25 13:42 作者: 打火石 時(shí)間: 2025-3-25 19:03 作者: troponins 時(shí)間: 2025-3-25 21:20
Larch: Languages and Tools for Formal Specification作者: 寬敞 時(shí)間: 2025-3-26 00:17 作者: giggle 時(shí)間: 2025-3-26 08:03 作者: Agronomy 時(shí)間: 2025-3-26 10:13 作者: 增減字母法 時(shí)間: 2025-3-26 12:50
John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wing Heine-Philologie im Jubil?umsjahr 1997 rund um den Globus zahlreiche weitere Tagungen zum runden Dichtergeburtstag statt. Drei davon, in Wien, Bad Segeberg und Lauenburg, sind im vorliegenden (und im Buchhandel leider bereits nicht mehr erh?ltlichen) Band dokumentiert. De?en Untertitel verspricht ?作者: 清洗 時(shí)間: 2025-3-26 17:47 作者: 撕裂皮肉 時(shí)間: 2025-3-27 00:54
John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wingebnisse zum Winter 2003 an Heines Geburtstag, dem 13. Dezember, gewürdigt werden sollten. Heute ist es so weit! Der Preistr?ger wurde unter gut 70 Einsendungen ermittelt. Wir begrü?en heute Abend unter allen unseren G?sten besonders Hanno Kabel, Kulturredakteur bei den ?Lübecker Nachrichten?, dem di作者: 人類學(xué)家 時(shí)間: 2025-3-27 05:03
John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wing zu tun, sondern auch mit intensiver Arbeit an einem neuen, erz?hlerischen Prosawerk. Ich soll Ihnen aber sehr freundliche Grü?e von ihm überbringen. Grass freut sich, dass die Stadt Düsseldorf, in der er mehrere Jahre gelebt, gelernt und studiert hat, in diesem Herbst seine ?Blechtrommel? liest. We作者: Accessible 時(shí)間: 2025-3-27 05:18 作者: 拋射物 時(shí)間: 2025-3-27 10:11 作者: 認(rèn)識(shí) 時(shí)間: 2025-3-27 16:27 作者: Sputum 時(shí)間: 2025-3-27 21:39
John V. Guttag,James J. Horning,S. J. Garland,K. D. Jones,A. Modet,J. M. Wingdie Resonanz auf das ?Forum Junge Heine-Forschung?, dessen 10. Ausgabe im Heine-Institut (Gastgeber mit Heine-Gesellschaft und -Uni) am Wochenende so international wie noch nie besetzt war?, berichtete die Neue Rhein-Zeitung am 11. Dezember 2007.. Und in der ?Rheinischen Post? hie? es am selben Tag:作者: AMPLE 時(shí)間: 2025-3-28 01:17 作者: TOXIC 時(shí)間: 2025-3-28 04:33 作者: Lime石灰 時(shí)間: 2025-3-28 09:14
Using LP to Debug LSL Specifications, to be precise; they should also accurately reflect the specifier’s intentions. Mistakes from many sources will crop up in specifications. Any practical methodology that relies on specifications must provide means for detecting and correcting their flaws, in short, for debugging them.作者: 表狀態(tài) 時(shí)間: 2025-3-28 13:22
10樓作者: Fantasy 時(shí)間: 2025-3-28 17:45
10樓
