• Dec 26, 2017 News!Vol. 4, No. 1-No.3 has been indexed by EI (Inspec).   [Click]
  • Dec 26, 2017 News!Vol. 3, No. 4 has been indexed by EI (Inspec).   [Click]
  • Dec 25, 2017 News!Welcome to 2018 7th International Conference on Software and Computing Technologies (ICSCT 2018), which will be held in Kuala Lumpur during April 7-9, 2018.   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), Electronic Journals Library,  Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Editor-in-chief
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2014 Vol.2(2): 139-143 ISSN: 2301-3559
DOI: 10.7763/LNSE.2014.V2.111

Investigation of Formal Methods Based on Algebraic Specifications for Sensor Systems

Masaki Nakamura, Akira Urashima, Tomoji Toriyama, Takahiro Seino, and Kokichi Futatsugi
Abstract—We propose a way to use CafeOBJ algebraic specification language for describing formal specifications of sensor systems and for verifying desired properties to be satisfied by the systems. We give a way to not only verify specifications but also generate test cases from the results of verifications. Although we take a simple mobile device application using an acceleration sensor as an example, our approach may be applied to practical sensor systems.

Index Terms—Algebraic specifications, formal methods, sensor systems, test case generation.

Masaki Nakamura, Akira Urashima, and Tomoji Toriyama are with the Department of Information Systems Engineering, Toyama Prefectural University, Japan (e-mail: masaki-n@pu-toyama.ac.jp).
Takahiro Seino is with Faculty of International Social Studies, Maebashi Kyoai Gakuen College, Japan.
Kokichi Futatsugi is with the School of Information Science, Japan Advanced Institute of Science and Technology (JAIST).

[PDF]

Cite: Masaki Nakamura, Akira Urashima, Tomoji Toriyama, Takahiro Seino, and Kokichi Futatsugi, "Investigation of Formal Methods Based on Algebraic Specifications for Sensor Systems," Lecture Notes on Software Engineering vol. 2, no. 2, pp. 139-143, 2014.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net