Cognitive cooperation is often neglected in current team software development processes. This issue becomes more important than ever when team members are globally distributed. Th...
: We propose software reliability assessment methods for concurrent distributed system development by using the Analytic Hierarchy Process. Also, we make a comparison between the i...
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
Software engineering has learned a great deal about how to create clear and precise process definitions, and how to use them to improve final software products. This paper suggest...
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...