Search dblp for Publications

export results for "toc:db/conf/sofl/sofl2012.bht:"

 download as .bib file

@proceedings{DBLP:conf/sofl/2012,
  editor       = {Shaoying Liu},
  title        = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39277-1},
  doi          = {10.1007/978-3-642-39277-1},
  isbn         = {978-3-642-39276-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/LiL12,
  author       = {Mo Li and
                  Shaoying Liu},
  editor       = {Shaoying Liu},
  title        = {Design and Implementation of a Tool for Specifying Specification in
                  {SOFL}},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {44--55},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_4},
  doi          = {10.1007/978-3-642-39277-1\_4},
  timestamp    = {Wed, 23 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/LiL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/LiLLN12,
  author       = {Cencen Li and
                  Mo Li and
                  Shaoying Liu and
                  Shin Nakajima},
  editor       = {Shaoying Liu},
  title        = {Applying "Functional Scenario-Based" Test Case Generation Method in
                  Unit Testing and Integration Testing},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_1},
  doi          = {10.1007/978-3-642-39277-1\_1},
  timestamp    = {Wed, 23 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/LiLLN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/LingSK12,
  author       = {Chung{-}Ling Ling and
                  Wuwei Shen and
                  Dionysios Kountanis},
  editor       = {Shaoying Liu},
  title        = {Applying {SOFL} to a Generic Insulin Pump Software Design},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {116--132},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_9},
  doi          = {10.1007/978-3-642-39277-1\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/LingSK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/MiaoL12,
  author       = {Weikai Miao and
                  Shaoying Liu},
  editor       = {Shaoying Liu},
  title        = {A Formal Specification-Based Integration Testing Approach},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {26--43},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_3},
  doi          = {10.1007/978-3-642-39277-1\_3},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/MiaoL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/NagoyaK12,
  author       = {Fumiko Nagoya and
                  Tetsuo Kitagawa},
  editor       = {Shaoying Liu},
  title        = {An Application of {SOFL} for Rapid Prototyping},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {104--115},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_8},
  doi          = {10.1007/978-3-642-39277-1\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/NagoyaK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/TianLD12,
  author       = {Cong Tian and
                  Shaoying Liu and
                  Zhenhua Duan},
  editor       = {Shaoying Liu},
  title        = {Abstract Model Checking with {SOFL} Hierarchy},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {71--86},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_6},
  doi          = {10.1007/978-3-642-39277-1\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/TianLD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/WangC12,
  author       = {Yisheng Wang and
                  Haopeng Chen},
  editor       = {Shaoying Liu},
  title        = {Extension on Transactional Remote Services in {SOFL}},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {133--147},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_10},
  doi          = {10.1007/978-3-642-39277-1\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/WangC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/WangL12,
  author       = {Xi Wang and
                  Shaoying Liu},
  editor       = {Shaoying Liu},
  title        = {Development of a Supporting Tool for Formalizing Software Requirements},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {56--70},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_5},
  doi          = {10.1007/978-3-642-39277-1\_5},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofl/WangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/YuDTY12,
  author       = {Yan Yu and
                  Zhenhua Duan and
                  Cong Tian and
                  Mengfei Yang},
  editor       = {Shaoying Liu},
  title        = {Model Checking {C} Programs with {MSVL}},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {87--103},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_7},
  doi          = {10.1007/978-3-642-39277-1\_7},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/YuDTY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sofl/ZhangL12,
  author       = {Weihang Zhang and
                  Shaoying Liu},
  editor       = {Shaoying Liu},
  title        = {Supporting Tool for Automatic Specification-Based Test Case Generation},
  booktitle    = {Structured Object-Oriented Formal Language and Method - Second International
                  Workshop, {SOFL} 2012, Kyoto, Japan, November 13, 2012. Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7787},
  pages        = {12--25},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39277-1\_2},
  doi          = {10.1007/978-3-642-39277-1\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sofl/ZhangL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.