Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Wireless Personal Communications
Erschienen in: Wireless Personal Communications 2/2017

11.04.2016

Development of a Web Dictionary System Using SOFL

verfasst von: Fumiko Nagoya, Ph.D, Shaoying Liu, Ph.D

Erschienen in: Wireless Personal Communications | Ausgabe 2/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Component-based software development can help reduce time and cost by means of reusing software components, but the quality of the software may not be ensured if the adopted components contain errors. The Structured Object-oriented Formal Language (SOFL) is a formal specification language that can be used for quality software development. This paper describes a development of desktop application software by connecting with several software components, and how it is developed using SOFL. We introduce how the requirements are analyzed through writing an informal specification and then refining it into a semi-formal specification. We also discuss how the design is carried out by constructing a formal specification in SOFL. Finally, we present the implementation and explain the details of a testing conducted for the quality assurance of the system.
Vorheriger Artikel Performance Comparison and Detection Analysis in Snort and Suricata Environment
Nächster Artikel Object Tracking and Recognition Based on Reliability Assessment of Learning in Mobile Environments

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Literatur
1.
Herzum, P., & Sims, O. (2000). Business components factory: A comprehensive overview of component-based development for the enterprise (1st ed.). New York, NY: Wiley.
2.
Crnkovic, I., Sentilles, S., Aneta, V., & Chaudron, M. R. V. (2011). A classification framework for software component models. IEEE Transactions on Software Engineering, 37(5), 593–615.CrossRef
3.
Quadri, A. T., Abubakar, M., & Sirshar, M. (2015). Software quality assurance in component based software development—A survey analysis. International Journal of Computer and Communication System Engineering, 2(2), 305–315.
4.
Almeida, J. B., Frade, M. J., Pinto, J. S., & Melo de Sousa, S. (2011). Rigorous software development: An introduction to program verification, ser. Undergraduate topics in computer science. London: Springer.CrossRefMATH
5.
Liu, S. (2004). Formal engineering for industrial software development. Berlin: Springer.CrossRefMATH
6.
Liu, S., Asuka, M., Komaya, K., & Nakamura, Y. (1998). An approach to specifying and verifying safety-critical systems with practical formal method sofl. In Proceedings of the fourth IEEE international conference on engineering of complex computer systems, 1998. ICECCS’98 (pp. 100–114).
7.
Liu, S., Hayashi, T., Takahashi, K., Kimura, K., Nakayama, T., & Nakajima, S. (2010). Automatic transformation from formal specifications to functional scenario forms for automatic test case generation. In Proceedings of the 2010 conference on new trends in software methodologies, tools and techniques (pp. 383–397). Amsterdam, The Netherlands. The Netherlands: IOS Press.
8.
Miao, W., & Liu, S. (2013). A formal engineering framework for service-based software modeling. IEEE Transactions on Services Computing, 6(4), 536–550.CrossRef
9.
Nagoya, F., & Liu, S. (2015). Development of a web-based conference management system using SOFL. In Proceedings of the 2015 conference on research in adaptive and convergent systems, ser. RACS (pp. 337–342). New York, NY: ACM.
10.
Liu, S., Chen, Y., Nagoya, F., & McDermid, J. A. (2012). Formal specification-based inspection for verification of programs. IEEE Transactions on Software Engineering, 38(5), 1100–1122.CrossRef
11.
Liu, S., Tamai, T., & Nakajima, S. (2011). A framework for integrating formal specification, review, and testing to enhance software reliability. International Journal of Software Engineering and Knowledge Engineering, 21(2), 259–288.CrossRef
12.
Liu, S., & Shen, W. (2012). A formal approach to testing programs in practice. In 2012 international conference on systems and informatics (ICSAI) (pp. 2509–2515).
13.
14.
15.
Jones, C. B. (1986). Systematic software development using VDM. Englewood Cliffs, NJ: Prentice Hall International (UK) Ltd.MATH
16.
DeMarco, T. (1979). Structured analysis and system specification. Upper Saddle River, NJ: Prentice Hall.
17.
18.
Liu, S., & Nakajima, S. (2010). A decompositional approach to automatic test case generation based on formal specifications. In Proceedings of the 2010 fourth international conference on secure software integration and reliability improvement, ser. SSIRI’10 (pp. 147–155). Washington, DC: IEEE Computer Society.
19.
Dick, J., & Faivre, A. (1993). Automating the generation and sequencing of test cases from model-based specifications. In FME ’93: Proceedings of the first international symposium of formal Methods Europe on industrial-strength formal methods (pp. 268–284). Springer: Berlin.
20.
21.
Booch, G., Rumbaugh, J., & Jacobson, I. (2005). Unified modeling language user guide, the 2nd edition (Addison-Wesley Object Technology Series) (2nd ed.). Reading, MA: Addison-Wesley.
22.
Warmer, J., & Kleppe, A. (2003). The object constraint language: Getting your models ready for MDA (2nd ed.). Boston, MA: Addison-Wesley Longman Publishing Co., Inc.
23.
Cabot, J., & Gogolla, M. (2012). Object constraint language (OCL): A definitive guide, in Proceedings of the 12th international conference on formal methods for the design of computer, communication, and software systems: Formal methods for model-driven engineering, ser. SFM’12 (pp. 58–90). Berlin, Heidelberg: Springer.
24.
Jackson, D. (2002). Alloy: A lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology, 11(2), 256–290.CrossRef
25.
Cook, S., & Daniels, J. (1994). Designing object systems: Object-oriented modelling with syntropy. Upper Saddle River, NJ: Prentice-Hall Inc.MATH
26.
Woodcock, J., & Davies, J. (1996). Using Z: Specification, refinement, and proof. Upper Saddle River, NJ: Prentice-Hall Inc.MATH
27.
Meyer, B. (1992). Applying ’design by contract’. Computer, 25(10), 40–51.CrossRef
28.
Mitchell, R., McKim, J., & Meyer, B. (2002). Design by contract, by example. Redwood City, CA: Addison Wesley Longman Publishing Co., Inc.
29.
Liu, S., Offutt, A. J., Ho-Stuart, C., Ohba, M., & Sun, Y. (1998). SOFL: A formal engineering methodology for industrial applications. IEEE Transactions on Software Engineering, 24(1), 24–45.CrossRef
30.
31.
D’Souza, D. F., & Wills, A. C. (1999). Objects, components, and frameworks with UML: The catalysis approach. Boston, MA: Addison-Wesley Longman Publishing Co., Inc.
32.
Jackson, D. (2006). Software abstractions: Logic, language, and analysis. Cambridge, MA: MIT Press.
33.
Abrial, J.-R. (1996). The B-book: Assigning programs to meanings. New York, NY: Cambridge University Press.CrossRefMATH
34.
Gogolla, M., Bohling, J., & Richters, M. (2005). Validating UML and OCL models in use by automatic snapshot generation. Journal on Software and System Modeling, 4(4), 386–398.CrossRef
35.
Kuhlmann, M., Hamann, L., & Gogolla, M. (2011). Extensive validation of OCL models by integrating sat solving into use. In Proceedings of the 49th international conference on objects, models, components, patterns, ser. TOOLS’11 (pp. 290–306). Berlin: Springer.
36.
Liu, S., & Xue, X. (2009). Automated software specification and design using the sofl formal engineering method. In WRI World Congress on Software Engineering, 2009. WCSE ’09 (Vol. 4, pp. 283–289).
37.
Liu, S. (2010). An approach to applying SOFL for agile process and its application in developing a test support tool. Innovations in Systems and Software Engineering, 6(1–2), 137–143.CrossRef
38.
Nagoya, F., Liu, S., & Y. Chen. (2005). A tool and case study for specification-based program review. In 29th annual international conference on computer software and applications conference, 2005. COMPSAC 2005 (Vol. 1, 2, pp. 375–380).
39.
Li, M., & Liu, S. (2015). Integrating animation-based inspection into formal design specification construction for reliable software systems. In IEEE transactions on reliability (Vol. 99, pp. 1–19).
Metadaten
Titel
Development of a Web Dictionary System Using SOFL
verfasst von
Fumiko Nagoya, Ph.D
Shaoying Liu, Ph.D
Publikationsdatum
11.04.2016
Verlag
Springer US
Erschienen in
Wireless Personal Communications / Ausgabe 2/2017
Print ISSN: 0929-6212
Elektronische ISSN: 1572-834X
DOI
https://doi.org/10.1007/s11277-016-3291-z

Weitere Artikel der Ausgabe 2/2017

Wireless Personal Communications 2/2017 Zur Ausgabe

OriginalPaper

Flexible Forecasting Model Based on Neural Networks

OriginalPaper

Extending a Standard Tablet into a Gaming Platform with Projected Parallax Layers

OriginalPaper

ARINC661 Graphics Rendering Based on OpenVG and Its Use Cases with Wireless Communications

OriginalPaper

Location and Direction Estimation-Based Resource Reservation Scheme for the Handoff in Micro Cellular Multimedia Networks

OriginalPaper

Cloud System for User-Customized Mobile Interface Sharing in Wireless Environment

OriginalPaper

Object Tracking and Recognition Based on Reliability Assessment of Learning in Mobile Environments

Neuer Inhalt

    Bildnachweise