|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Shaoying Liu (eds.) |
Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![Springer, 978-3-642-39276-4 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang |
Model Checking C Programs with MSVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 87-103, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Weikai Miao, Shaoying Liu |
A Formal Specification-Based Integration Testing Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 26-43, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Xi Wang 0017, Shaoying Liu |
Development of a Supporting Tool for Formalizing Software Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 56-70, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yisheng Wang, Haopeng Chen |
Extension on Transactional Remote Services in SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 133-147, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fumiko Nagoya, Tetsuo Kitagawa |
An Application of SOFL for Rapid Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 104-115, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mo Li 0003, Shaoying Liu |
Design and Implementation of a Tool for Specifying Specification in SOFL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 44-55, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis |
Applying SOFL to a Generic Insulin Pump Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 116-132, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cong Tian, Shaoying Liu, Zhenhua Duan |
Abstract Model Checking with SOFL Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 71-86, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Weihang Zhang, Shaoying Liu |
Supporting Tool for Automatic Specification-Based Test Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 12-25, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cencen Li, Mo Li 0003, Shaoying Liu, Shin Nakajima 0001 |
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL ![In: Structured Object-Oriented Formal Language and Method - Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers, pp. 1-11, 2012, Springer, 978-3-642-39276-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|