LEADER 06791nam 22008175 450 001 996466305903316 005 20200703124409.0 010 $a3-642-10373-1 024 7 $a10.1007/978-3-642-10373-5 035 $a(CKB)1000000000804427 035 $a(SSID)ssj0000355502 035 $a(PQKBManifestationID)11267517 035 $a(PQKBTitleCode)TC0000355502 035 $a(PQKBWorkID)10337795 035 $a(PQKB)10893265 035 $a(DE-He213)978-3-642-10373-5 035 $a(MiAaPQ)EBC3064789 035 $a(PPN)139962700 035 $a(EXLCZ)991000000000804427 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods and Software Engineering$b[electronic resource] $e11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings /$fedited by Karin Breitman, Ana Cavalcanti 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XIV, 758 p.) 225 1 $aProgramming and Software Engineering ;$v5885 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-10372-3 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Seamless Model Driven Systems Engineering Based on Formal Models -- Compositional Verification of Input-Output Conformance via CSP Refinement Checking -- Testing I -- Symbolic Query Exploration -- Event Listener Analysis and Symbolic Execution for Testing GUI Applications -- An Empirical Study of Structural Constraint Solving Techniques -- Protocols -- Improving Automatic Verification of Security Protocols with XOR -- Modeling and Verification of Privacy Enhancing Protocols -- Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support -- Testing II -- Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing -- A Statistical Approach to Test Stochastic and Probabilistic Systems -- Qualitative Action Systems -- Verification -- RAFFS: Model Checking a Robust Abstract Flash File Store -- European Train Control System: A Case Study in Formal Verification -- Development of Security Software: A High Assurance Methodology -- Model Checking I -- Bounded Semantics of CTL and SAT-Based Verification -- Graded-CTL: Satisfiability and Symbolic Model Checking -- Approximate Model Checking of PCTL Involving Unbounded Path Properties -- Object-Orientation -- A Graph-Based Operational Semantics of OO Programs -- Modeling and Analysis of Thread-Pools in an Industrial Communication Platform -- A Verification System for Distributed Objects with Asynchronous Method Calls -- Model checking II -- A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties -- Scalable Multi-core Model Checking Fairness Enhanced Systems -- Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language -- Event-B -- Supporting Reuse of Event-B Developments through Generic Instantiation -- A Lazy Unbounded Model Checker for Event-B -- Proof Assisted Model Checking for B -- Compilation -- Machine-Checked Sequencer for Critical Embedded Code Generator -- Implementing a Direct Method for Certificate Translation -- Process Algebra -- Algorithmic Verification with Multiple and Nested Parameters -- Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction -- Refinement -- Modal Systems: Specification, Refinement and Realisation -- Refinement-Preserving Co-evolution -- Algebraic Specifications -- Circular Coinduction with Special Contexts -- The VSE Refinement Method in Hets -- Real-Time Systems -- A Compositional Approach on Modal Specifications for Timed Systems -- An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata -- Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude -- Specifying and Verifying Business Processes Using PPML. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009, held in Rio de Janeiro, Brazil, December 2009. The 36 revised full papers together with two invited talks presented were carefully reviewed and selected from 121 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on Testing, Protocols, verification, model checking, object-orientation, event-b, compilation, process algebra, refinement, algebraic specifications and real-time systems. 410 0$aProgramming and Software Engineering ;$v5885 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer programming 606 $aComputers 606 $aMathematical logic 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aModels and Principles$3https://scigraph.springernature.com/ontologies/product-market-codes/I18016 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 608 $aKongress.$2swd 608 $aRio de Janeiro (2009)$2swd 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer programming. 615 0$aComputers. 615 0$aMathematical logic. 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aModels and Principles. 615 24$aMathematical Logic and Formal Languages. 676 $a004n/a 686 $aDAT 310f$2stub 686 $aDAT 510f$2stub 686 $aSS 4800$2rvk 702 $aBreitman$b Karin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCavalcanti$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Conference on Formal Engineering Methods 906 $aBOOK 912 $a996466305903316 996 $aFormal Methods and Software Engineering$9771999 997 $aUNISA LEADER 00919nam--2200313---450 001 990005868330203316 005 20240320093817.0 035 $a000586833 035 $aUSA01000586833 035 $a(ALEPH)000586833USA01 035 $a000586833 100 $a20130705d1973----km-y0itay50------ba 101 $aeng 102 $aGB 105 $a||||||||001yy 200 1 $aPolitics and society in post-war Naples$fP. A. Allum 210 $aCambridge$cUniversity press$d1973 215 $aXIII, 410 p.$d24 cm 606 0 $aNapoli$xCondizioni socioeconomiche$zSec. 20.$2BNCF 676 $a301.592094573 700 1$aALLUM,$bP. A.$039649 801 0$aIT$bsalbc$gISBD 912 $a990005868330203316 951 $aII.5. 7537$b141541 L.M.$cII.5.$d00341852 951 $aX.3.B. 2526$b5743 E.C.$cX.3.$d514493 959 $aBK 969 $aUMA 996 $aPolitics and society in post-war Naples$924786 997 $aUNISA LEADER 03324oam 2200685 c 450 001 9910563003403321 005 20250513224759.0 024 7 $a10.3726/b13625 035 $a(CKB)5450000000173935 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/33165 035 $a(PH02)9783631750735 035 $a(MiAaPQ)EBC31850445 035 $a(oapen)doab33165 035 $a(EXLCZ)995450000000173935 100 $a20240525h20181998 uy 0 101 0 $ager 135 $aurnnunnnannuu 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aManagement von Messebeteiligungen$eIdentifikation und Erklärung messespezifischer Grundhaltungen auf der Basis einer empirischen Untersuchung$fH. Meffert, Ralf Ueding, Universität Münster 205 $a1st, New ed. 210 $aFrankfurt a.M$cPH02$d2018 210 $d2018, c1998 215 $a1 online resource (352 p.)$c, EPDF 225 0 $aSchriften zu Marketing und Management$v34 300 $aPeter Lang GmbH, Internationaler Verlag der Wissenschaften 311 08$a9783631750735 311 08$a3631750730 327 $aAus dem Inhalt: Messebeteiligungen als Herausforderung an das Kommunikationsmanagement - Ableitung und Identifikation von messespezifischen Grundhaltungen - Ausgestaltung und Erfolg von Messebeteiligungen - Ansatzpunkte einer systematischen Messebeteiligungskontrolle. 330 $aDie Bedingungen fu?r Messebeteiligungen haben sich in den vergangenen Jahren gravierend vera?ndert. Messen und Ausstellungen stehen vermehrt in einem Substitutionswettbewerb mit den neueren Instrumenten der Unternehmenskommunikation. Die seit den 80er Jahren anhaltende Diskussion um die Leistungsfa?higkeit und Transparenz von Messebeteiligungen fu?r das Marketing macht deutlich, daß die Notwendigkeit einer konzeptionellen Auseinandersetzung mit dem Themenkomplex besteht. Die Arbeit verfolgt das Ziel, das messespezifische Ausstellerverhalten systematisch zu beschreiben und zu erkla?ren. Hierzu werden messespezifische Grundhaltungen identifiziert und detailliert hinsichtlich der strategischen und operativen Ausgestaltung sowie Erfolgswirkungen der Messebeteiligungen analysiert. Der empirischen Analyse liegt eine schriftliche Befragung von 602 Unternehmen zugrunde. 606 $aCommunication studies$2bicssc 606 $aProject management$2bicssc 606 $aProduction & quality control management$2bicssc 606 $aSales & marketing management$2bicssc 610 $aBasis 610 $aeiner 610 $aempirischen 610 $aErklärung 610 $aGrundhaltungen 610 $aIdentifikation 610 $aManagement 610 $aMessebeteiligungen 610 $amessespezifischer 610 $aUeding 610 $aUntersuchung 615 7$aCommunication studies 615 7$aProject management 615 7$aProduction & quality control management 615 7$aSales & marketing management 700 $aUeding$b Ralf$4auth$01302281 702 $aMeffert$b H$4edt 702 $aUeding$b Ralf$4aut 712 02$aUniversita?t Mu?nster$4aut 801 0$bPH02 801 1$bPH02 906 $aBOOK 912 $a9910563003403321 996 $aManagement von Messebeteiligungen$93026335 997 $aUNINA