Yoshiyuki Shinkawa

According to our database, Yoshiyuki Shinkawa authored at least 26 papers between 1998 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Verification of Business Processes with Time Constraints.

Ryoya Shiraki, Yoshiyuki Shinkawa

Proceedings of the 6th IIAI International Congress on Advanced Applied Informatics, 2017

Temporal Evaluation of Business Processes Using Timed Colored Petri Nets.

Yoshiyuki Shinkawa, Ryoya Shiraki

Proceedings of the Position Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

2016

Evaluating Data Integrity in the Cloud using the UPPAAL.

Sachi Nishida, Yoshiyuki Shinkawa

Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2015

A Performance Prediction Model for Google App Engine.

Sachi Nishida, Yoshiyuki Shinkawa

Proceedings of the 10th International Conference on P2P, 2015

2014

A Performance Prediction Model for Google App Engine Using Colored Petri Net.

Sachi Nishida, Yoshiyuki Shinkawa

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

CPN Based GAE Performance Prediction Framework.

Sachi Nishida, Yoshiyuki Shinkawa

Proceedings of the ICSOFT-EA 2014, 2014

A Comprehensive Evaluation Model for BASE Transaction Processing.

Sachi Nishida, Yoshiyuki Shinkawa

Proceedings of the ICSOFT-EA 2014, 2014

Data Integrity in Cloud Transactions.

Sachi Nishida, Yoshiyuki Shinkawa

Proceedings of the CLOSER 2014, 2014

2012

CPN based Data Integrity Evaluation for Cloud Transactions.

Yoshiyuki Shinkawa

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

Evaluating Behavioral Correctness of a Set of UML Models.

Yoshiyuki Shinkawa

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2011

Inter-model Consistency between UML State Machine and Sequence Models.

Yoshiyuki Shinkawa

Proceedings of the ICSOFT 2011, 2011

2010

Evaluating UML Sequence Models using the SPIN Model Checker.

Yoshiyuki Shinkawa

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010

2009

Inter-Model Consistency Between UML Use Case and Activity Models.

Yoshiyuki Shinkawa

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

2008

Evaluating Consistency between UML Activity and Sequence Models.

Yoshiyuki Shinkawa

Proceedings of the ICEIS 2008, 2008

Extracting Class Structure Based on Fishbone Diagrams.

Makoto Shigemitsu, Yoshiyuki Shinkawa

Proceedings of the ICEIS 2008, 2008

Applying MDA to Game Software Development.

Takashi Inoue, Yoshiyuki Shinkawa

Proceedings of the ICEIS 2008, 2008

2007

UML Inter-Model Consistency Based on CPN and CCS Formalism.

Yoshiyuki Shinkawa

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2006

CPN Based Component Adaptation.

Yoshiyuki Shinkawa

Proceedings of the ICEIS 2006, 2006

Inter-Model Consistency in UML Based on CPN Formalism.

Yoshiyuki Shinkawa

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

A formal approach to component adaptability.

Yoshiyuki Shinkawa

Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006

2004

A Formal Approach to Enterprise Modeling.

Yoshiyuki Shinkawa

Proceedings of the ICEIS 2004, 2004

2002

State-Sensitive Design of Database Transactions.

Yoshiyuki Shinkawa, Masao J. Matsumoto

Proceedings of the ICEIS 2002, 2002

2001

Identifying Adaptable Components - A Rough Sets Style Approach.

Yoshiyuki Shinkawa, Masao J. Matsumoto

Proceedings of the New Frontiers in Artificial Intelligence, 2001

An Information System View of Consistency and Integrity in Enterprise Operations.

Yoshiyuki Shinkawa, Masao J. Matsumoto

Proceedings of the ICEIS 2001, 2001

2000

Business Modeling and Component Mining Based on Rough Set Theory.

Yoshiyuki Shinkawa, Masao J. Matsumoto

Proceedings of the Software Reuse: Advances in Software Reusability, 2000

1998

On Legacy System Reusability Based on CPN and CCS Formalism.

Yoshiyuki Shinkawa, Masao J. Matsumoto

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998