A formal theory for heavyweight software process paradigm

Author

Deren Yang ; Mei Xue

Author_Institution

Sch. of Sci., Ningxia Med. Univ., Yinchuan, China

Volume

4

fYear

2011

fDate

26-28 July 2011

Firstpage

2340

Lastpage

2343

Abstract

In order to guide software process and achieve the desired goals, heavyweight software process paradigm provides steps, activities, models and corresponding restraint mechanisms for software process. However, related literatures lack in-depth study of its theory. The article begins with a brief analysis of its elements and their relationships; secondly, its theory was studied based on first order predicate logic, such as grammar, structure, semantics and corresponding axiom. The exploration is expected to fill gaps in related researches, and can be taken as basis for standardization of software process.

Keywords

formal verification; software process improvement; standardisation; first order predicate logic; formal theory; heavyweight software process paradigm; software process restraint mechanisms; Educational institutions; Ontologies; Semantics; Software; Standardization; Syntactics; Unified modeling language; constraint mechanism; first order predicate logic; formal theory; heavyweight; software process paradigm;

fLanguage

English

Publisher

ieee

Conference_Titel

Fuzzy Systems and Knowledge Discovery (FSKD), 2011 Eighth International Conference on

Conference_Location

Shanghai

Print_ISBN

978-1-61284-180-9

Type

conf

DOI

10.1109/FSKD.2011.6020017

Filename

6020017