Design guidance through the controlled application of constraints

10th International Workshop on Software Specification and Design, IWSSD 2000

Volumn , Issue , 2000, Pages 195-199

  Cass, Aaron G ^a   Osterweil, Leon J ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; SPECIFICATIONS;

COMPLEX STRUCTURE; DESIGN GUIDANCE; DRIVEN SYSTEM; ENFORCEMENT STRATEGY; HIGH QUALITY; PROACTIVE PROCESS; PROCESS DEFINITION; REWORK PROCESS;

PROCESS CONTROL;

EID: 33744609504     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWSSD.2000.891141     Document Type: Conference Paper

References (11)

1. Object Constraint Language Specification, Sept. 1997'. ver sion 1.1.
2. B. W. Boehm. A spiral model of software development and enhancement. IEEE Computer, 21(5):61-72, 1988.
3. A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, S. M. Sutton, Jr., and A. Wise. Little-JIL/Juliette: A process defini tion language and interpreter. In Proc. of the 22nd Int. Conf. on Soft. Eng., June 2000.
4. A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and A. Wise. Logically central, physically distributed control in a process runtime environment. Technical Report 99-65, U. of Massachusetts, Dept. of Comp. Sci., Nov. 1999.
5. L. Clarke, E. K. McCall, A. Naithrakashyap, L. J. Osterweil, K. Ramamritham, J. Shanmugasundaram, S. M. Sutton, Jr., and P. Tarr. Internal papers of Inconsistency Management Working Group. University of Massachusetts, 1997.
6. P. C. Clements. Understanding architectural influences and decisions in large-system projects. Apr. 1995. Seattle, WA.
7. L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, and Y. S. Ramakrishna. A graphical interval logic for specifiying concurrent systems. ACM Trans, on Soft. Eng. and Method ology, Apr. 1994.
8. D. Garlan, R. Allen, and J. Ockerbloom. Architectural mis match: Why reuse is so hard. IEEE Software, 12(6): 17-26, 1995.
9. A. Pnueli. A temporal logic of concurrent programs. Theo retical Computer Science, 13:45-60, 1981.
10. J. E. Robbins, D. M. Hilbert, and D. F. Redmiles. Software architecture critics in Argo. pages 141-144, Jan. 1998. San Francisco, CA.
11. T. Sliski. An architecture for flexible, evolvable process-driven environments. Master's thesis, University of Mas sachusetts, 2000.