Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

Engineering & Applied Sciences --- Computer Science --- Computer science. --- Computer communication systems. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Programming Techniques. --- Computer Communication Networks. --- Formal methods (Computer science) --- Object-oriented programming (Computer science) --- Logic design. --- Informatics --- Science --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Computer science logic --- Logic, Symbolic and mathematical --- Distributed processing --- Programming --- Compilers (Computer programs). --- Machine theory. --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that formal engineering methods and agile approaches are complementary in ensuring high productivity while enhancing reliability. Agile-SOFL offers a highly practical and systematic method that strikes a good balance of efforts for enhancing both software productivity and reliability. Specifically, Agile-SOFL is characterized by five features: (1) systematic approach to constructing hybrid specifications for requirements-related faults prevention, (2) specification-based incremental programming for quality implementation, (3) specification-based inspection and testing for system validation, (4) automatic testing-based formal verification for the correctness of code, and (5) effective project management for high effectiveness and efficiency in applying Agile-SOFL. The objective of this book is to help readers learn the latest effective Agile development concepts and techniques and to take them to the point where they can easily apply Agile-SOFL to develop their own software systems with a high productivity and reliability. The reader can also considerably benefit from this book by learning many newly developed concepts and principles in fault prevention, fault detection, verification of code correctness, and efficient project management. .

Software engineering. --- Software Engineering.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

Computer Science. --- Logics and Meanings of Programs. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Mathematical Logic and Formal Languages. --- Computer science. --- Software engineering. --- Logic design. --- Informatique --- Génie logiciel --- Structure logique --- Engineering & Applied Sciences --- Computer Science --- Programming languages (Electronic computers). --- Computer logic. --- Mathematical logic. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Informatics --- Science --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Formal methods (Computer science) --- Object-oriented methods (Computer science) --- Compilers (Computer programs). --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Compilers and Interpreters. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes revised selected papers from the Third International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, held in Queenstown, New Zealand, in October 2013. The 13 papers presented in this volume were carefully reviewed and selected from 22 submissions. They are organized in topical sections on testing and verification, simulation and model checking, SOFL tools, and formal specification and application.

Mathematical logic --- Logic --- Computer science --- Programming --- Computer. Automation --- computers --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This monograph concerns the mathematical aspects of software reliability and quality assurance and consists of 11 technical papers in this emerging area. Included are the latest research results related to formal methods and design, automatic software testing, software verification and validation, coalgebra theory, automata theory, hybrid system and software reliability modeling and assessment.

Technology: general issues --- History of engineering & technology --- fuzzy automata --- coalgebra --- fuzzy language --- bisimulation --- composition --- test data generation --- genetic algorithm --- specification-based testing --- regression testing --- mutation testing --- eventual property --- model checking --- Maude --- textual question answering --- visual question answering --- metamorphic testing --- metamorphic relations --- quality assessment --- software rejuvenation --- checkpointing --- optimal rejuvenation-trigger timing --- steady-state system availability --- phase expansion --- human-error factors --- petri net --- concurrent software systems --- model-checking --- data-flows --- software reliability model --- maximum likelihood estimation --- EM algorithm --- non-homogeneous Poisson process --- generalized failure count data --- moth flame optimization --- island-based model --- feature selection --- software defect prediction --- software reliability --- search-based test case generation --- branch coverage --- object-oriented --- deep learning --- long short-term memory --- project similarity and clustering --- cross-project prediction --- Nervos CKB --- consensus protocol --- UPPAAL