Saeko Matsuura

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Shinpei Ogata

> Home > Persons > Saeko Matsuura

Publications

2018
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/MatsuuraOA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/MatsuuraOA18
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki:
Goal-Satisfaction Verification to Combination of Use Case Components. ENASE 2018: 343-350
2017
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/MatsuuraOA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/MatsuuraOA17
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki:
Security Requirements Verification for Existing Systems with Model Checking Technique and UML. MODELSWARD 2017: 529-535
2014
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/MatsuuraAO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/MatsuuraAO14
Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata:
Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. ISSRE Workshops 2014: 124-125
2012
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/ShikimiOM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/ShikimiOM12
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura:
Test Case Generation by Simulating Requirements Analysis Model. COMPSAC 2012: 356-357
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/AokiOOM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/AokiOOM12
Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura:
Quality Improvement of Requirements Specification using Model Checking Technique. ICEIS (2) 2012: 401-406
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/indiaSE/OgataM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indiaSE/OgataM12
Shinpei Ogata, Saeko Matsuura:
Training of requirements analysis modeling with UML-based prototype generation tool. ISEC 2012: 105-108
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/jckbse/OgataM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jckbse/OgataM12
Shinpei Ogata, Saeko Matsuura:
A Review Method of Requirements Analysis Model in UML with Prototyping. JCKBSE 2012: 181-190
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/jckbse/OkudaOM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jckbse/OkudaOM12
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura:
Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. JCKBSE 2012: 207-216
2008
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/OgataM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/OgataM08
Shinpei Ogata, Saeko Matsuura:
Scenario-Based Automatic Prototype Generation. COMPSAC 2008: 492-493
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/iceis/OgataM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceis/OgataM08
Shinpei Ogata, Saeko Matsuura:
Automatic Generation of UML-Based Web Application Prototypes. ICEIS (3-1) 2008: 244-251

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.