標(biāo)題: Titlebook: VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker; Volume 1: Conference S. Prehn,W. J. T [打印本頁] 作者: JAZZ 時(shí)間: 2025-3-21 19:06
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker影響因子(影響力)
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker影響因子(影響力)學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker網(wǎng)絡(luò)公開度
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker被引頻次
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker被引頻次學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker年度引用
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker年度引用學(xué)科排名
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker讀者反饋
書目名稱VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker讀者反饋學(xué)科排名
作者: Rebate 時(shí)間: 2025-3-21 20:45
Michael Jacksonden fest eingebauten St?rstellen erheblich in der Beweglichkeit behindert und erreichen bei Raumtemperatur und üblicher Dotierung h?chstens Geschwindigkeiten von etwa 10.cm/s. Eine mit den Bauelementeabmessungen vergleichbare Wellenl?nge der mit dem Ladungstr?gertransport verbundenen Raumladungswell作者: figure 時(shí)間: 2025-3-22 03:47
Veronika Doma,Robin Nichollasterarbeit am Fachbereich Politikwissenschaft und Soziologie an der Kultur- und Gesellschaftswissenschaftlichen Fakult?t der Paris Lodron Universit?t Salzburg zur Absolvierung des Masterstudiums Soziologie eingereicht. Der Forschungsschwerpunkt liegt auf der Arbeitssoziologie..作者: alcoholism 時(shí)間: 2025-3-22 08:38 作者: 粗野 時(shí)間: 2025-3-22 08:42
Conference proceedings 1991 from doingdevelopments, and the associated theoretical problems.Volume 2 contains four introductory tutorials (on LARCH,Refinement Calculus, VDM, and RAISE) and four advancedtutorials (on ABEL, PROSPECTRA, The B Method,and TheStack). They present a comprehensive account of the state oftheart.作者: Myofibrils 時(shí)間: 2025-3-22 14:18 作者: 新奇 時(shí)間: 2025-3-22 19:58
VDM ‘91. Formal Software Development Methods. 4th International Symposium of VDM Europe, NoordwijkerVolume 1: Conference作者: Fulminate 時(shí)間: 2025-3-22 23:10 作者: Ventilator 時(shí)間: 2025-3-23 04:33
Michael Jacksonngen der signalverarbeitenden Ger?te oder Anordnungen. Bei Hohlleiterschaltungen und Antennen, deren Gr??e in Metern gemessen wird, beginnt der Bereich der Mikrowellentechnik für elektromagnetische Wellen, die sich mit Lichtgeschwindigkeit ausbreiten, bei einer Frequenz von etwa 1000 MHz entsprechen作者: largesse 時(shí)間: 2025-3-23 08:25
Robin Milnerpletten Versuchsstandes aus Abschnitt 2.1 ben?tigt. Um ein Modell für alle Betriebspunkte zu erhalten und sp?ter leicht Ver?nderungen und Erweiterungen vornehmen zu k?nnen, erfolgt eine symbolische Modellbeschreibung mit physikalischen Parametern.作者: JOG 時(shí)間: 2025-3-23 10:45
John V. Guttag in der Einheit dieser vielgliedrigen Aktivit?t, in dem Fortschreiten zu immer neuen Konzentrationen unter vermittelnden Distinktionen das eine und selbe S. Zun?chst kontinuierlich. Aber wir werden bald einen weiteren Schritt machen k?nnen, wodurch auch diese Selbigkeit in einer synthetischen Aktivi作者: ICLE 時(shí)間: 2025-3-23 13:54 作者: ACME 時(shí)間: 2025-3-23 18:04
David Garlan,David Notkinenakten diskutiert. Nach einem einleitenden überblick in Bezug auf die Informationstechnologie im Gesundheitswesen gehen die Kapitel 4.2 und 4.3 auf die elektronische Patientenakte ein. Kapitel 4.2 diskutiert dabei die Grundlagen w?hrend Kapitel 4.3 im Hinblick auf die Fallstudien des n?chsten Kapit作者: Myelin 時(shí)間: 2025-3-23 23:31
Flemming Damm,Bo Stig Hansen,Hans Bruun Zelle haben wir den im Cytoplasma bis zu den verschiedenen Diffusionsbarrieren zurückzulegenden Weg nicht berücksichtigt. Wir haben den Kurzstreckentransport im engeren Sinne als Membrantransport aufgefa?t und implizite postuliert, da? eine Vermischung und gleichm??ige Verteilung in der plasmatisch作者: 信徒 時(shí)間: 2025-3-24 06:13
T. Clementimmer ?fter die F?higkeit, die zeitliche und ?rtliche Dynamik der aus diesen Bedürfnissen resultierenden Investmentziele integriert in der Portfoliooptimierung abzubilden. Im Rahmen dieser Arbeit wird gezeigt, wie Investmentmanager durch die Integration dynamischer, derivatebasierter Investmentstrat作者: restrain 時(shí)間: 2025-3-24 07:45
Nico Plat,Jan van Katwijk,Kees Pronk ohne Verz?gerungen alle notwendigen Informationen zug?nglich zu machen. Dabei ist die Einrichtung eines Projektbüros das wichtigste Hilfsmittel. Zur Projektsteuerung ist es unbedingt erforderlich, belastbare Informationen zu besitzen. Um an diese zu gelangen, bedarf es geeigneter Managementsoftware作者: Fillet,Filet 時(shí)間: 2025-3-24 11:58 作者: Adornment 時(shí)間: 2025-3-24 18:29
Stephan R?ssig,Michael Schenkeal angesteuert werden, dosiert und in eine mechanische Gr??e wie Weg (Drehwinkel), Geschwindigkeit (Drehzahl), Kraft (Moment) einer L?ngs- oder Rotationsbewegung gewandelt. Die thermische Energie des Druckmediums wird dabei nicht genutzt.作者: extract 時(shí)間: 2025-3-24 21:33
Marc Benvenisteegrierten, gesamtwirtschaftlichen Input-Output Modellen zukommt. Als wesentliches Ergebnis der Arbeit kann festgehalten werden: Dieser Stellenwert ist au?erordentlich gro?, besonders wenn es um die Erfassung des strukturellen Wandels in der Wirtschaft geht.作者: Multiple 時(shí)間: 2025-3-24 23:50 作者: painkillers 時(shí)間: 2025-3-25 07:05 作者: reaching 時(shí)間: 2025-3-25 10:08 作者: SCORE 時(shí)間: 2025-3-25 14:34
Marek A. Bednarczyk,Andrzej M. Borzyszkowskiin (Ritz et al. 1980); murine Antik?rper sagen jedoch nichts aus über das immunbiologische Verh?ltnis zwischen dem Immunsystem des Leuk?miepatienten und seiner malignen Erkrankung. Um mehr Einsicht in diese Tumor-Host-Beziehung bei akuten Leuk?mien zu bekommen, untersuchten wir zun?chst ausschlie?li作者: 最低點(diǎn) 時(shí)間: 2025-3-25 19:34 作者: 到婚嫁年齡 時(shí)間: 2025-3-25 22:03
Thierry CattelBerliner Fakult?t oder sei es bei Wiener Liedern am h?uslichen Flügel. Mit der Thematik effizienter Leistungserstellung kam ich kürzlich in Berührung, als mich Beitr?ge von . und . und Koautoren. anregten., über Detailfragen zur Bestimmung der ?Kosten der effizienten Leistungsbereitstellung“ nachzud作者: gusher 時(shí)間: 2025-3-26 03:26 作者: 共同生活 時(shí)間: 2025-3-26 06:55 作者: 馬籠頭 時(shí)間: 2025-3-26 10:52 作者: 強(qiáng)有力 時(shí)間: 2025-3-26 15:49 作者: 搖曳的微光 時(shí)間: 2025-3-26 20:49 作者: 安裝 時(shí)間: 2025-3-26 22:40 作者: myriad 時(shí)間: 2025-3-27 04:06 作者: 大猩猩 時(shí)間: 2025-3-27 08:36 作者: colostrum 時(shí)間: 2025-3-27 09:56
Z and high level Petri nets,l for specific systems. Specific models we specify partly by diagrams and partly in Z. We give some advantages and disadvantages of using Z in this way. Finally we show how to specify systems by means of an example.作者: 哎呦 時(shí)間: 2025-3-27 17:19
,LPF and MPLω — A logical comparison of VDM SL and COLD-K,be proved remains the same after translation, in case strictness axioms are added to LPF or removed from MPL.. The translation from LPF to MPL. is extended to recursive function definitions and this translation is next used to justify some ways of bringing the definitions of partial functions into proofs using LPF.作者: Insubordinate 時(shí)間: 2025-3-27 21:01
Tactical tools for distributing VDM specifications, implementation. We apply successive refinements on a VDM model so as to modify its distributability. The refinements are formalized, their validity is proved and they are tactical tools for a support environment of distributable software design. We express the general architecture of the resulting application into Conic.作者: Vasodilation 時(shí)間: 2025-3-28 00:09
Formalizing design spaces: Implicit invocation mechanisms,ntegration technique called implicit invocation. We show how many previously unrelated systems can be viewed as instances of the same underlying framework. Then we briefly indicate how the formalization allows us to reason about certain properties of those systems as well as the relationships between different systems.作者: FRONT 時(shí)間: 2025-3-28 04:45 作者: indecipherable 時(shí)間: 2025-3-28 09:13
Formal specification in metamorphic programming,luctance is due to . that are encountered when attempting to integrate formal specification with other stages of the software development process. Semantic gaps necessitate a dramatic shift in a programmer‘s mode of thought, and undergoing many such shifts during the development of a software system作者: 側(cè)面左右 時(shí)間: 2025-3-28 11:20 作者: 爭(zhēng)吵加 時(shí)間: 2025-3-28 17:48 作者: Decongestant 時(shí)間: 2025-3-28 22:37
A case for structured analysis/formal design, may be composed by taking the best of a formal method and the best of a structured method and constructing one, new method. In this paper two approaches to transforming data flow diagrams, the main system representation resulting from SA, to constructs in VDM are described. Each approach can be use作者: 萬神殿 時(shí)間: 2025-3-29 00:09
A model-oriented method for algebraic specifications using COLD-1 as notation,ebraic concepts, such as equivalence relations, congruence relations and homomorphisms. The method makes a clear distinction between the abstract type being defined and the model used as representation. The advantage of this approach is that the problem of implementation bias does not apply and that作者: enflame 時(shí)間: 2025-3-29 05:07
A mechanical formalization of several fairness notions,ree fairness notions and one safety assumption with an automated theorem prover. These proof rules have been integrated into a mechanization of the Unity logic [8,9] and are suitable for the mechanical verification of concurrent programs. Mechanical verification provides greater trust in the correct作者: BACLE 時(shí)間: 2025-3-29 08:12
Specification and stepwise development of communicating systems, a model similar to Hoare‘s CSP is used. First a specification language is given, which is particularly suitable for describing communicating systems. A quite simple readiness semantics allows to specify the users‘ wishes in an exact but easily expressible manner. Secondly aspects of a development a作者: HATCH 時(shí)間: 2025-3-29 15:23 作者: interpose 時(shí)間: 2025-3-29 19:32 作者: aerial 時(shí)間: 2025-3-29 21:10 作者: inflate 時(shí)間: 2025-3-30 00:41 作者: Aboveboard 時(shí)間: 2025-3-30 05:33 作者: 極為憤怒 時(shí)間: 2025-3-30 10:17
,LPF and MPLω — A logical comparison of VDM SL and COLD-K,s reflect different approaches to reasoning about partial functions and bringing recursive function definitions into proofs. The purpose of the comparison is to acquire insight into the relationship between these approaches. A natural translation from LPF to MPL. is given. It is shown that what can 作者: perimenopause 時(shí)間: 2025-3-30 13:18 作者: arousal 時(shí)間: 2025-3-30 17:12 作者: CODE 時(shí)間: 2025-3-30 21:26 作者: GLARE 時(shí)間: 2025-3-31 00:51
ensbew?ltigung Jugendlicher, auf den Stellenwert und die Funktionen der Massenmedien in der Lebenswelt Jugendlicher, auf didaktisch-methodische Herangehensweisen in p?dagogischen Prozessen usw. geben p?dagogische und jugendsoziologische Theorien, Forschungen um Jugend und Jugendarbeit sowie Medientheorien.作者: 采納 時(shí)間: 2025-3-31 05:09 作者: canonical 時(shí)間: 2025-3-31 09:45
David Garlan,David Notkinie elektronische Patientenakte ein. Kapitel 4.2 diskutiert dabei die Grundlagen w?hrend Kapitel 4.3 im Hinblick auf die Fallstudien des n?chsten Kapitels die elektronische Patientenakte im station?ren Bereich untersucht und die Unterstützung von Kooperationsprozessen durch die elektronische Patientenakte betrachtet.作者: 我要威脅 時(shí)間: 2025-3-31 14:02
T. Clementtimierung abzubilden. Im Rahmen dieser Arbeit wird gezeigt, wie Investmentmanager durch die Integration dynamischer, derivatebasierter Investmentstrategien in die Portfoliooptimierung dieses Ziel erreichen und so zu effektiveren Investmentportfolio-Prozessen gelangen k?nnen.作者: Bmd955 時(shí)間: 2025-3-31 18:18 作者: 禁止,切斷 時(shí)間: 2025-3-31 23:01
C. A. Middelburg,G. R. Renardel de Lavaletteliche Arbeitskr?fte benachteiligt würden, wird die Problematik der Gleichbehandlung m?nnlicher und weiblicher Arbeitskr?fte auch aus dem Blickwinkel der Wechselbeziehungen zwischen EG- Recht und nationalen Rechtswertungen wieder in einen aktuellen Bezug. gestellt.作者: 分期付款 時(shí)間: 2025-4-1 04:09
Formal specification in metamorphic programming, in-the-large and in-the-small. The main contribution that metamorphic programming makes to formal specification is to clarify the ways in which specifications can be merged smoothly into the software development lifecycle.
