A Scheme of Construct Association from PROMELA to Java

A Scheme of Construct Association from PROMELA to Java

PROMELA is one of the most widely used modeling languages to model concurrent and reactive systems. Although model checking can be veru useful, once PROMELA model has been generated it is still necessary to write the application manually by hand. In accordance with the features of language, Java is...

Saved in:

書目詳細資料
Main Authors:	Suprapto, Suprapto, Wardoyo, Retantyo, Pulungan, Reza, Wijaya, Belawati
格式:	Conference or Workshop Item PeerReviewed
語言:	English
出版:	2013
主題:	Makalah prosiding
在線閱讀:	https://repository.ugm.ac.id/35110/1/SWPW-FTRA-AIM-13.pdf https://repository.ugm.ac.id/35110/
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

A Framework for An LTS Semantics for PROMELA
由: Suprapto, Suprapto, et al.
出版: (2011)

Success factors of OSS projects from sourceforge using Datamining Association Rule
由: Emanuel, Andi Wahju Rahardjo, et al.
出版: (2010)

The Order of Phase-Type Distributions
由: Pulungan, Reza
出版: (2011)

Kerentanan Keamanan WIMAX Mobile dan solusinya
由: Kurniawan, Helmi, et al.
出版: (2011)

Analisis Kinerja Beberapa Algoritma Load Balancing
由: Kurniawan, Helmi, et al.
出版: (2011)

Arsitektur, Keamanan dan Pasar WiMAX
由: Kurniawan, Helmi, et al.
出版: (2011)

Membandingkan Analisa Traffic antara WireShark dan NMap
由: Rosnelly, Rika, et al.
出版: (2011)

Aplikasi DTMC Untuk Post Proses Pengenalan Citra Dokumen Teks
由: Widiarti, Anastasia Rita, et al.
出版: (2012)

ANALISIS FLEKSIBILITAS DESAIN STRUKTUR TABEL DATABASE
由: Sutanta, Edhy, et al.
出版: (2012)

FINDING SUITABLE MODULARITY TECHNIQUE FOR OSS PROJECTS
由: Emanuel, Andi Wahju Rahardjo, et al.
出版: (2010)

Interpretation of Subsurface Structure from Geomagnetics Data supported by Geographics Information System (GIS) at Muria Volcano Complex, Central Java
由: Santoso, Antonius Tri, et al.
出版: (2006)

Power Flow Study of Untransposed Transmission Lines
由: Pulungan, Ali Basrah, et al.
出版: (2007)

Case Study on 2006 flash floor disaster in Putih River of Jember, East Java, Indonesia
由: Rahardjo, Adam Pamudji, et al.
出版: (2013)

"Case Study on 2006 Flash Flood Disaster in Putih River of Jember, East Java, Indonesia."
由: A.P. Raharjo, author 1, et al.
出版: (2013)

DIVERSE AND CHANGING EXPLANATORY MODEL OF PSYCHOTIC ILLNESS IN JAVA
由: Subandi, M.A.
出版: (2009)

Information Extraction from Web Pages Using Automatic Pattern Discovery Method Based on Tree Matching
由: Dewanto, Sigit, et al.
出版: (2010)

"SemanticLIFE" – A FRAMEWORK FOR MANAGING INFORMATION OF A HUMAN LIFETIME
由: Ahmed, Mansoor, et al.
出版: (2004)

An Approach for a Personal Information Management System for Photos of a Lifetime by Exploiting Semantics
由: Khalid, Latif, et al.
出版: (2006)

A Software Development Model for Localization Systems
由: widyawan, widyawan
出版: (2009)

A Bayesian Approach for RF-Based Indoor Localisation
由: Widyawan, Widyawan
出版: (2007)

A Simulation of Electromagnetic field Exposure to Biological Tissues
由: Warindi, Warindi, et al.
出版: (2010)

A Platform for an Inter-Working of Embedded Localisation and Communication Systems
由: Widyawan, Widyawan
出版: (2009)

A Novel Backtracking Particle Filter for PatternMatching Indoor Localization
由: Widyawan, Widyawan
出版: (2008)

A Survey on Model Selection in Neural Networks for Prediction and Classification Problems
由: Subanar, Subanar
出版: (2006)

A Simulation Model of Blood Supply Chain at Indonesian Regional Red-Cross
由: Suwardie, Aditya W., et al.
出版: (2013)

A Backtracking Particle Filter for Fusing Building Plans with PDR Displacement Estimates
由: Widyawan, Widyawan
出版: (2008)

Adaptive Motion Model for a Smart Phone Based Opportunistic Localization System
由: Widyawan, Widyawan
出版: (2009)

Modularity Framework as a New Software Framework in Enhancing Modularity in Open Source Projects
由: Emanuel, Andi Wahju Rahardjo, et al.
出版: (2009)

Indonesian Urban Electrification A Case of 500 kV EHV Jamali System
由: Sugiarto, Sugiarto, et al.
出版: (2011)

Simulation of a Dam Break Triggered Flood, the Case of Situ Gintung Disaster on March 27, 2009
由: Rahardjo, Adam Pamudji, et al.
出版: (2009)

The Use of Cow as An Electric and Thermal Power Generation in Remote Area as A Solution to Realize The Village Self-Reliant Energy Program in Indonesia
由: Samsul Kamal, Samsul Kamal
出版: (2011)

Rancang Bangun alat ukur koefisien serapan akustik
由: Mitrayana, ., et al.
出版: (2013)

Wireless Sensor Network and Internet Protocol Integration with COTS
由: Widyawan, Widyawan
出版: (2013)

Performance Evaluation of an Electric and Thermal Power Generation by Using Cow as an Alternative Solution for The Village Self-Reliant Energy Supply Program in Indonesia
由: Samsul Kamal, Samsul Kamal, et al.
出版: (2013)

Progress on numerical model development of 1D debris flow using Langrangian Galerkin Method
由: Rahardjo, Adam Pamudji, et al.
出版: (2013)

Tropical rainforest degradation in Indonesia: Threat and hope in the landscape of mountain forest to mangrove swamp
由: Djohan, Tjut Sugandawaty / T. S.
出版: (2013)

The Abundance of Karst-Riparian Forest in the Catchment Area of Sampolawa River Baubau, Southeast Sulawesi
由: Erif, La Ode Muhammad/ L. O. M, et al.
出版: (2013)

Struktur Komunitas Mangrove di Wilayah Pesisir Kabupaten Sumbawa Barat
由: Poedjirahajoe, Erny, et al.
出版: (2013)

Peluang Pengembangan Informatika Sosial di Indonesia
由: Nugroho, Lukito Edi
出版: (2013)

SOLVING DIFFERENT LANGUAGES PROBLEM (PORTUGUESE, ENGLISH and BAHASA INDONESIA) IN DIGITAL LIBRARY WITH ONTOLOGY
由: Jayadianti, Herlina, et al.
出版: (2013)