Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SOFL"( http://dblp.L3S.de/Venues/SOFL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/sofl

Publication years (Num. hits)
2012 (10) 2013 (1)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
SOFL(11)
Authors
Shaoying Liu(7) Cong Tian(2) Mo Li 0003(2) Zhenhua Duan(2) Cencen Li(1) Chung-Ling Ling(1) Dionysios Kountanis(1) Fumiko Nagoya(1) Haopeng Chen(1) Mengfei Yang(1) Shin Nakajima 0001(1) Tetsuo Kitagawa(1) Weihang Zhang(1) Weikai Miao(1) Wuwei Shen(1) Xi Wang 0017(1) More (+10 of total 18)
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
1Shaoying 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 SOFL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yan Yu, Zhenhua Duan, Cong Tian, Mengfei Yang Model Checking C Programs with MSVL. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Weikai Miao, Shaoying Liu A Formal Specification-Based Integration Testing Approach. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Xi Wang 0017, Shaoying Liu Development of a Supporting Tool for Formalizing Software Requirements. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yisheng Wang, Haopeng Chen Extension on Transactional Remote Services in SOFL. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fumiko Nagoya, Tetsuo Kitagawa An Application of SOFL for Rapid Prototyping. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mo Li 0003, Shaoying Liu Design and Implementation of a Tool for Specifying Specification in SOFL. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis Applying SOFL to a Generic Insulin Pump Software Design. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cong Tian, Shaoying Liu, Zhenhua Duan Abstract Model Checking with SOFL Hierarchy. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Weihang Zhang, Shaoying Liu Supporting Tool for Automatic Specification-Based Test Case Generation. Search on Bibsonomy SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cencen 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 SOFL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license