Title :
Environment support for software consistency
Author_Institution :
Software Verification Res. Centre, Queensland Univ., Qld., Australia
Abstract :
We present three strategies which can be used to enforce, in a flexible but controlled manner, the consistency of software artifacts in software development environments. Examples of applying these strategies are given. A prototype experiment implementing these strategies is briefly described.<>
Keywords :
programming environments; software quality; software tools; prototype experiment; software artifacts; software consistency; software development environments; Application software; Australia; Computer aided software engineering; Design engineering; Force control; Programming; Prototypes; Software prototyping; Software systems; Software tools;
Conference_Titel :
TENCON '93. Proceedings. Computer, Communication, Control and Power Engineering.1993 IEEE Region 10 Conference on
Conference_Location :
Beijing, China
Print_ISBN :
0-7803-1233-3
DOI :
10.1109/TENCON.1993.320011
