1995 · 43 citations · 9 references
ComputingComputer ScienceSystems EngineeringFormal MethodsProgramming LanguagesRequirements EngineeringCollaborative DesignCollaborative SystemsComputer-supported Cooperative WorkDesign SpecificationRequirements SpecificationSpecification LanguagesCollaboration Support SystemsCollaborative WorkComputer-supported CollaborationModel Specification Language
In this paper, we present a specification language developed for WORLDS, a next generation computer-supported collaborative work system. Our specification language, called Introspect, employs a meta-level architecture to allow run-time modifications to specifications. We believe such an architecture is essential to WORLDS' ability to provide dynamic support for collaborative work in an elegant fashion.
9
David Harel · Communications of the ACM · 1988 · 1.3K citations · Full text
Concepts and experiments in computational reflection
Pattie Maes · 1987 · 1K citations
Continual permutations of action
Choice Reviews Online · 1994 · 862 citations
Reflection and semantics in LISP
Brian Cantwell Smith · 1984 · 446 citations
Language Studies, Computer Science, Programming Languages +7