ヘルプ
ヘルプ

検索結果 233 件

Verification of BPEL workflows design using model checking (Software science)

Verification of BPEL workflows design using model checking (Software science)
紙記事
Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi 他<Z16-940>電子情報通信学会技術研究報告 = IEICE technical report : 信学技報111(107) 2011.6・7.30・1p.7～10
国立国会図書館全国の図書館
  • 件名Web service BPEL model checking SPIN

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)

Model checking software : 22nd international symposium, SPIN 2015 : Stellenbosch, South Africa, August 24-26, 2015 : proceedings : Aug 2015, Stellenbosch, South Africa. (Lecture Notes in Computer Science ; 9232)
紙図書
Springer[2015]<M17-16-521>
国立国会図書館
  • 要約等...l Symposium on Model Checking Software, SPIN 2015, he......ed approaches; software validation and verification.
  • 件名Computer software--Verification--Congresses. Software engineering--C......sses. Computer software--Testing--Cong......file) Computer software--Testing. Computer software--Verification. Software engineering.

Time series analysis for the state-space model with R/Stan

Time series analysis for the state-space model with R/Stan
紙図書
Junichiro HagiwaraSpringer[2021]<MA211-D26>
国立国会図書館全国の図書館
  • 要約等...he state-space model, which has rec......al state-space models: MCMC and Kal......ht on flexible modeling in modern t......he state-space model, covering extensively, from i...
  • 内容細目...R and External Software 1.3.2 Code and......y Spectrum 4.3 Model Definition 4.4......4.6 Diagnostic Checking for the Result......he State-Space Model 5 State-Space Model 5.1 Stochastic Model 5.2 Definition......of State-Space Model 5.2.1 Represen......n by Graphical Model 5.2.2 Represen......of State-Space Model 5.3 Features of State-Space Model 5.4 Classifica......of State-Space Models 6 State Estim......he State-Space Model 6.1 State Esti......Likelihood and Model Selection in the State-Space Model 6.4 Treatment ......he State-Space Model 6.4.1 When Par......an State-Space Model 7.1 Wiener Fil......Example: AR(1) Model Case 8 Sequential Solution fo...

Transactions on aspect-oriented software development XI (Lecture notes in computer science ; 8400. Journal subline)

Transactions on aspect-oriented software development XI (Lecture notes in computer science ; 8400. Journal subline)
紙図書
Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle (eds.).Springer[2014]<M159-B161>
国立国会図書館
  • 要約等...spect-Oriented Software Development is......spect-oriented software development (A...... phases of the software life cycle, fr...... attributes of software systems. This ......spect-Oriented Software Development se......approaches for software architectures, model-driven engineering and model composition, aspect-oriented ...
  • 内容細目Run-Time Assertion Checking of Data- and P......ecure Systems: Model-Driven Adaptiv......cification and Checking of Structural Dependencies To...
  • 件名Computer software--Development. Software engineering.

ソフトウェア設計に対するモデル検査のための検証パターン (特集 組込みシステム工学 ; 検証/テストとデバッグ)

ソフトウェア設計に対するモデル検査のための検証パターン (特集 組込みシステム工学 ; 検証/テストとデバッグ)
記録メディア記事
金井 勇人, 岸 知二<YH247-743>情報処理学会論文誌 IPSJ journal : 論文誌ジャーナル49(10) 2008.10p.3493-3507
国立国会図書館全国の図書館
  • 要約等...n patterns for software design verific......tion utilizing model checking techniques. In verifying software design model, we have to develop target model and define pro...... on the target model. As, typical software structures hav......rn as a set of software structure, its important prop...
  • 並列タイトル等（連結）Verification Patterns for Model Checking Software Design
  • 並列タイトル等Verification Patterns for Model Checking Software Design

Solar resources mapping : fundamentals and applications (Green energy and technology)

Solar resources mapping : fundamentals and applications (Green energy and technology)
紙図書
Jesús Polo, Luis Martín-Pomares, Antonio Sanfilippo, editors.Springer[2019]<ME123-B7>
国立国会図書館
  • 要約等...d mathematical models are demonstra......olar radiation modelling from satel...... and numerical models; · Downscalin......l and physical models needed to der...... and numerical models, emphasising ...... the classical models used to gener......ata, clear sky models and ancillary air quality an...
  • 内容細目... Handling; 2.4 Software Validation; 3 ......-Sky Radiation Models and Aerosol E...... Concepts; 3.1 Modeling Approaches; 3.2 Spectral R...
  • 件名Solar radiation--Measurement. Solar radiation--Mathematical models. Solar energy.

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)

Model checking software : 20th international symposium, SPIN 2013 : Stony Brook, NY, USA, July 8-9, 2013 : proceedings : SPIN workshop : Jul 2013, Stony Brook, NY. (Lecture Notes in Computer Science ; 7976)
紙図書
Springerc2013.<M17-14-557>
国立国会図書館
  • 件名...sses. Computer software--Verification--Congresses. Model checking Software SPIN

Advanced concepts in nuclear energy risk assessment and management (Modern nuclear energy analysis methods ; vol. 1)

Advanced concepts in nuclear energy risk assessment and management (Modern nuclear energy analysis methods ; vol. 1)
紙図書
edited by Tunc AldemirWorld Scientific[2018]<DL211-D8>
国立国会図書館全国の図書館
  • 要約等...lity of static modeling approaches ......ocess/hardware/software/firmware/human......enomenological model of system evol......n along with a model of its stochas......ic behavior to model for possible dependencies amo...
  • 内容細目...isk Assessment Model Validation and......atters in PSA: Checking Consistency of......mic Event Tree Modeling of a Reacto......for Stochastic Modeling of Dynamic ......hodology (DFM) Modeling of Nuclear ......io Generation, Modeling and Post-Pr......r Power Plants Software Behavior Modeling for Dynamic Probabilistic ...

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)

Model checking software : 18th international SPIN workshop : Snowbird, UT, USA, July 14-15, 2011 : proceedings : Jul 2011, Snowbird, UT. (Lecture Notes in Computer Science ; 6823)
紙図書
Springerc2011.<M17-12-56>
国立国会図書館
  • 件名SPIN (Computer file)--Congresses. Computer software--Verification--Congresses.

Model checking software : 17th international SPIN workshop : Enschede, the Netherlands, September 27-29, 2010 : proceedings. : Sep 2010, Enschede, the Netherlands. (Lecture Notes in Computer Science ; 6349)

Model checking software : 17th international SPIN workshop : Enschede, the Netherlands, September 27-29, 2010 : proceedings. : Sep 2010, Enschede, the Netherlands. (Lecture Notes in Computer Science ; 6349)
紙図書
Springerc2010.<M17-11-258>
国立国会図書館
  • 件名SPIN (Computer file) Computer software -- Verificatio......-- Congresses. Software engineering -- Congresses. El...

Model checking software : 13th international SPIN workshop : Vienna, Austria, March 30-April 1, 2006 : proceedings. : 13th international SPIN workshop on model checking of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3925)

Model checking software : 13th international SPIN workshop : Vienna, Austria, March 30-April 1, 2006 : proceedings. : 13th international SPIN workshop on model checking of software : Mar 2006, Vienna, Austria. (Lecture Notes in Computer Science ; 3925)
紙図書
Springerc2006.<M17-06-1496>
国立国会図書館
  • 件名SPIN (Computer file) -- Congresses. Computer software -- Verification -- Congresses...
  • 並列タイトル等（連結）European joint conferences on theory and practice of software 2006 : ETAPS
  • 並列タイトル等European joint conferences on theory and practice of software 2006 : ETAPS

Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

Model checking software : 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings
紙図書
Alfons Laarman, Ana Sokolova (eds.)Springerc2021
全国の図書館
  • 件名...ience Computer software -- Verificatio...... -- Congresses Software engineering --......esses Computer software -- Testing -- Congresses
  • 件名（識別子）...ience Computer software -- Verificatio...... -- Congresses Software engineering --......esses Computer software -- Testing -- Congresses
  • 一般注記...l Symposium on Model Checking Software, SPIN 2021, held online from ...

Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5578)

Model checking software : 16th international SPIN workshop : Grenoble, France, June 26-28, 2009 : proceedings. : Jun 2009, Grenoble, France. (Lecture Notes in Computer Science ; 5578)
紙図書
Springerc2009.<M17-10-301>
国立国会図書館
  • 件名SPIN (Computer file) -- Congresses. Computer software -- Verification -- Congresses...

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)

Model checking software : 15th international SPIN workshop : Los Angeles, CA, USA, August 10-12, 2008 : proceedings. : Aug 2008, Los Angeles, CA. (Lecture Notes in Computer Science ; 5156)
紙図書
Springerc2008.<M17-08-2037>
国立国会図書館
  • 件名SPIN (Computer file) -- Congresses. Computer software -- Verification -- Congresses...

Model checking software : 14th international SPIN workshop : Berlin, Germany, July 1-3, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4595)

Model checking software : 14th international SPIN workshop : Berlin, Germany, July 1-3, 2007 : proceedings. : Jul 2007, Berlin, Germany. (Lecture Notes in Computer Science ; 4595)
紙図書
Springerc2007.<M17-07-1762>
国立国会図書館

Software Model Checking of UDP-based Distributed Applications (Special Issue on the Second International Symposium on Computing and Networking)

Software Model Checking of UDP-based Distributed Applications (Special Issue on the Second International Symposium on Computing and Networking)
紙デジタル記事
Nazim Sebih, Masami Hagiya, Franz Weitl 他<Z78-A690>International journal of networking and computing5(2):2015.7p.373-402
インターネットで読める国立国会図書館全国の図書館
  • 要約等An extension to the software model checker Java Path nder for ve...
  • 件名Software Model Checking Java Pathfinder Testing of Di...
  • 参照Model Checking Networked Prog......ssion Failures Software model checking for distribute......tion Modbat: A Model-Based API Test......Driven Systems Software Model Checking of UDP-based D......ations Modular Software Model Checking for Distribute......ibuted systems Model checking software with well-defi......formations for model checking distributed ja......IP Network The model checker SPIN R...... framework for model checking UDP network pr......n for Applying Model Checking on Networked A......tion Designers Model checking JAVA programs ......ernet Symbolic Model Checking Automatic hand......inks Efficient Model Checking of Networked Applica...

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings

Model checking software : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
紙図書
María del Mar Gallardo, Pedro Merino (eds.)Springerc2018
全国の図書館
  • 件名...ience Computer software -- Verificatio...... -- Congresses Software engineering --......esses Computer software -- Testing -- Congresses
  • 件名（識別子）...ience Computer software -- Verificatio...... -- Congresses Software engineering --......esses Computer software -- Testing -- Congresses

カルマン正準分解を用いたソフトウェアのモデル検査に関する研究

カルマン正準分解を用いたソフトウェアのモデル検査に関する研究
記録メディア記事
塚田 健人, 澤田 賢治, 新 誠一<YH247-485>システム制御情報学会研究発表講演会講演論文集59:2015.5.20-22p.6p
国立国会図書館全国の図書館
  • 並列タイトル等（連結）Studies on Software Model Checking via Kalman Decomposition
  • 並列タイトル等Studies on Software Model Checking via Kalman Decomposition

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)

Verification, model checking, and abstract interpretation : 16th international conference, VMCAI 2015 : Mumbai, India, January 12-14, 2015 : proceedings : Jan 2015, Mumbai, India. (Lecture Notes in Computer Science ; 8931. Advanced Research in Computing and Software Science)
紙図書
Springer[2015]<M17-15-1660>
国立国会図書館
  • 件名Computer software--Verification--Congresses. Software engineering--Congresses.
  • タイトル標目... computing and software science. LNCS sublibrary. SL ...

Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3639)

Model checking software : 12th international SPIN workshop : San Francisco, CA, USA, August 22-24, 2005 : proceedings. : Aug 2005, San Francisco, CA. (Lecture Notes in Computer Science ; 3639)
紙図書
Springerc2005.<M17-06-85>
国立国会図書館
  • 件名SPIN (Computer file) -- Congresses. Computer software -- Verification -- Congresses...