D. Jackson, I. Shlyakhter, and M. Sridharan. A Micromodularity Mechanism. In Proceedings of the ACM SIGSOFT Conference on the Foundations of Software Engineering / European Software Engineering Conference (FSE / ESEC '01), 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents
Delegation of Obligations - Schaad, Moffett (2002) (2 citations) (Correct)
....[16] Old Alloy specifications cannot be directly analysed by the new constraint analyzer anymore, however, only minor changes are needed to translate old Alloy specifications into the current version. The most significant changes in the new Alloy language and its analysis facilities include [17]: Structuring mechanism for incremental extension. Support for modularisation of specifications. No explicitly built in notion of state invariants and operations; instead the possibility of sequential composition of operations and modeling arbitrary sequences of states. Support for ....
....of polymorphic datatypes such as lists, sequences or trees. Support for n ary relations. Support for cardinality constraints and basic integer operations We have already re specified the results of this paper and further applied the sequential composition of states technique introduced in [17]. This will allow us in our planned future work to investigate the effects of generating chains of delegated obligations and their discharge within a defined sequence of states. 10 Summary and conclusion In the course of this paper we have discussed the general principles underlying the ....
Jackson, D. A Micromodularity Mechanism. in 8th Joint Software Engineering Conference. 2001. Vienna, Austria.
Automatic Transition Trace Analysis of Parallel Programs Using.. - Dingel (2003) (Correct)
....the expense of expressiveness, and are complemented by fully automatic tools which hide the complexities of the method from the novice user. Examples of light weight formal methods include systematic state space exploration through model checking [3] object modeling and analysis with Alloy [10, 11], and systematic program testing through VeriSoft [8] The overall goal of these and other light weight approaches is to allow even novice users more effective and efficient use of formal techniques and thus pave the way for a more general adoption. The continued industrial success of model ....
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In ACM SIGSOFT Conference on the Foundations of Software Engineering / European Software Engineering Conference (FSE/ESEC '01), September 2001.
Modular Verification of Code with SAT - Greg Dennis Felix (2006) Self-citation (Jackson) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A Micromodularity Mechanism. In Proceedings of the ACM SIGSOFT Conference on the Foundations of Software Engineering / European Software Engineering Conference (FSE / ESEC '01), 2001.
Exploiting Subformula Sharing in Automatic - Analysis Of Quanti (2003) Self-citation (Jackson Shlyakhter Sridharan) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), September 2001.
S.M. Computer Science - Massachusetts Institute Of Self-citation (Jackson) (Correct)
No context found.
D. Jackson, I. Shlyakhter and M. Sridharan. "A Micromodularity Mechanism", Proc. Foundations of Software Engineering, 2001.
Debugging Overconstrained Declarative Models Using.. - Ilya Shlyakhter Mit (2003) Self-citation (Jackson Shlyakhter Sridharan) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), September 2001.
Debugging Overconstrained Declarative Models Using .. - Shlyakhter.. (2003) Self-citation (Jackson Shlyakhter Sridharan) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), September 2001.
Automating Commutativity Analysis at the Design Level - Dennis, Seater, Rayside.. (2004) Self-citation (Jackson) (Correct)
No context found.
Jackson, D., Shlyakhter, I., and Sridharan, M. A micromodularity mechanism. In ACM SIGSOFT Conference on Foundations of Software Engineering / European Software Engineering Conference (Vienna, Sept. 2001).
Debugging Overconstrained Declarative Models Using .. - Shlyakhter.. (2003) Self-citation (Jackson Shlyakhter Sridharan) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), September 2001.
Correcting a Naming Architecture Using Lightweight.. - Khurshid, Jackson (2001) Self-citation (Jackson) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Vienna, Austria, Sept. 2001.
Exploiting Subformula Sharing in Automatic.. - Shlyakhter.. (2003) Self-citation (Jackson Shlyakhter Sridharan) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), September 2001.
An Analyzable Annotation Language - Sarfraz Khurshid Darko (2002) (8 citations) Self-citation (Jackson) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Vienna, Austria, Sept. 2001.
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
No context found.
Jackson, D., Shlyakhter, I. and Sridharan, M. (2001) A Micromodularity Mechanism. In Proceedings of the ACM SIGSOFT Conference on the Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC'01).
Central Registry: A Pattern for Modular Implicit Invocation - Robert Lee Allison (2002) (Correct)
No context found.
D. Jackson, I. Shlyakhter, M. Sridharan. A Micromodularity Mechanism. In Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), September 2001.
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. ACM SIGSOFT Conf. Foundations of Software Engineering / European Software Engineering Conference (FSE/ESEC '01), 2001.
Weaving in Role-Based Aspect-Oriented Design Models - Nakajima, Tamai (2004) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A Micromodularity Mechanism. In Proc. FSE-9, September 2001.
ACM International Symposium on Software Testing and.. - Korat Automated Testing (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Vienna, Austria, Sept. 2001.
Refactoring Alloy Specifications - Gheyi, Borba (2004) (Correct)
No context found.
Jackson, D., I. Shlyakhter and M. Sridharan, A micromodularity mechanism, in: ACM SIGSOFT Conference on Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC'01), Vienna, Austria, 2001, pp. 62--73.
Central Registry: A Pattern for Modular Implicit Invocation - Lee, Waingold, Whitney (2002) (Correct)
No context found.
D. Jackson, I. Shlyakhter, M. Sridharan. A Micromodularity Mechanism. In Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), September 2001.
Korat: Automated Testing Based on Java Predicates - Boyapati, Khurshid, Marinov (2002) (27 citations) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Vienna, Austria, Sept. 2001.
Scaling Step-Wise Refinement - Batory, Sarvela, Rauschmayer (2004) (24 citations) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan, "A Micromodularity Mechanism," ACM SIGSOFT Conf. (FSE/ESEC '01), Sept. 2001.
A Framework for Organisational Control Principles - Schaad (2003) (Correct)
No context found.
Jackson, D. (2001). A Micromodularity Mechanism. In 8th Joint Software Engineering Conference, Vienna, Austria.
Korat: Automated Testing Based on Java Predicates - Chandrasekhar Boyapati Sarfraz (2002) (27 citations) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Vienna, Austria, Sept. 2001.
ProB: A Model Checker for B - Michael Leuschel And (2003) (3 citations) (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In ACM SIGSOFT Conference on the Foundations of Software Engineering / European Software Engineering Conference (FSE / ESEC '01), pages 256--290, September 2001.
Towards an Access Control System for Mobile.. - Fenkam, Dustdar.. (Correct)
No context found.
D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. ACM SIGSOFT Conf. Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), Vienna, September 2001.
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC