Information Resources Management Association

Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Search IRMA Research

navleft

navright

Research IRM Open Access IRMA Journals IRM Books Proceedings Membership

The IRMA Community

Calls for Papers

Online Symposium

Research IRM

Click a keyword to search titles using our InfoSci-OnDemand powered search:

Formal Methods in Software Engineering

Formal Methods in Software Engineering

View Sample PDF

Author(s): Aristides Dasso (Universidad Nacional de San Luis, Argentina)and Ana Funes (Universidad Nacional de San Luis, Argentina)
Copyright: 2005
Pages: 7
Source title: Encyclopedia of Information Science and Technology, First Edition
Source Author(s)/Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-59140-553-5.ch213

Keywords: Information Resources Management / Information Science Reference / Library & Information Science

Purchase

View Formal Methods in Software Engineering on the publisher's website for pricing and purchasing information.

Abstract

As a general rule, all engineering applications use mathematics or mathematical tools as a basis for their development. However, software engineering is an exception to this rule.

Related Content

Examining the Public Perception of Law Enforcement: A Twitter User Engagement Analysis With the Dallas Police Department

Tereza Raquel Merlo, Nayana Madali M. Pampapura, Jason M. Merlo. © 2024. 14 pages.

Locating Appropriate Executive Sponsorship and the Information Governance Cadillac as Catalysts for a Successful IG Program

Kris Swen Helge. © 2024. 9 pages.

Role of Information Security and Protection in the Modern Era

Ahmad Tasnim Siddiqui, Gulshaira Banu Jahangeer, Amjath Fareeth Basha. © 2024. 12 pages.

Building Culture for Sustaining Information Governance

Jennie Lee Khun. © 2024. 19 pages.

Strategic Information Governance Review: Exploring Data Management for Effective Business Op. Intelligence in a Data-Centric Environment

Tereza Raquel Merlo. © 2024. 19 pages.

Decentralized Data and Privacy: Exploring the Conflict Between Distributed Ledger Technology and the Right to Be Forgotten Under GDP

Akash Bag, Paridhi Sharma, Pranjal Khare, Souvik Roy. © 2024. 31 pages.

Navigating the Digital Dilemma: The Right to Be Forgotten, Privacy, and Freedom of Speech in the Age of GDPR

Akash Bag, Upasana Khattri, Aditya Agrawal, Souvik Roy. © 2024. 28 pages.

IRMA Offers Over 2,500 Full Text Open Access Research Papers for Free Download Click to Start Searching Free IRM Research!

IRMA Sponsors

Sponsor IGI Global

Sponsor eContentPro

Encyclopedia of Information Science and Technology, Fourth Edition

Body Bottom