Keith Marzullo
ABSTRACT
Jasmine is a programming-in-the-large system designed by the authors at Xerox Information Systems Division. Jasmine consists of workstation tools and network services that help programmers develop, release, and maintain large software systems. Jasmine has three primary parts: (1) system models that describe the structure and versions of software, (2) context-relative, distributed naming of software components (supporting replication), and (3) a collection of tools that use (1) and (2) to manipulate software systems. We present an overview of these parts of Jasmine.
- Ar86.Armstrong, 5. Factored Courier. Xerox Corporation internal memorandum, Palo Alto, CA (March 1986).Google Scholar
- C*85.Clemm, G., lieimbigner, D., Osterweil, L., and Williams, 1. "KEYSTONE: A Federated Software Environment." Workshop on Software Engineering Environments for Programming-in-the-large, Harwichport, MA (June 1985).Google Scholar
- DK76.DeRemer. F., and Kron, H. "Programming-in-the- Large vs. Programming-in-the-Small." tEEE Transactions on Software Engineering, volume 2, number 2, (June, 1976).Google Scholar
- Es85.Estublier, 1. "A Configuration Manager: The Adele Database of Programs." Workshop on Software Engineering Environments for Programming-in-thelarge, Hamichport, MA (June 1985).Google Scholar
- Fe79.Feldman, 5. "Make - A Program for Maintaining Computer Programs.", Software Practice and Experience volume 9 number 4 (April 1979)Google Scholar
- GB80.Goldstein, I., and Bobrow, D. A Layered Approsch to SoBware Design. Technical Report CSL-80-5, Xerox PARC, Palo Alto, CA, (December 1980).Google Scholar
- KH83.Kaiser, G., and Habermann, N. "An Environment for System Version Control."" COMPCON Spring 83, IEEE Computer Society, San Francisco, (February 1983).Google Scholar
- K*85.Kirslis. P., Terwilliger, R., and Campbell, R. "The SAGA Approach to Large Program Development in an Integrated Modular Environment."" Workshop on Software Engineering Environments for Programming-in-the-large, Harwichport. MA (June 1985).Google Scholar
- La80.Lampson, 8. System Modelling. Xerox Corporation Internal Memorandum, (May 1980).Google Scholar
- LC84.Leblang, D., and Chase, R. "Computer-Aided Software Engineering in a Distributed Workstation Environment." ACM SIGSOFTISIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh (April 1984). Google ScholarDigital Library
- Le83.Lewis, B. "Experience with a System for Controlling Software Versions in a Distributed Environment." Symposium on Application and Assessment of Automated Tools for Software Development, San Francisco(November 1983).Google Scholar
- M*79.Mitchell, 1. Maybury, W., and Sweet, R. Mesa Language Manual. Xerox PARC technical report CSL- 79-3 (April 1979).Google Scholar
- Pa72.Parnas, 0. "On the Criteria to be Used in Decomposing Systems into Modules", CACM, volume 15, number 12, (December 1972). Google ScholarDigital Library
- Sc82.Schmidt. E. Controlhng Large Software Development in a Dbtributed Environment. PhD Thesis, University of California, Berkeley (December, 1982). Also Xerox PARC technical report CSL-82-7. Google ScholarDigital Library
- S*85.Schroeder, M., Gifford, 0. Needham, R. "A Caching File System for a Programmer's Workstation." 70th Symposium on Operating Systems Principles, Orcas Island, WA(December 1985). Google ScholarDigital Library
- Sw85.Sweet, R. "The Mesa Programming Environment". ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, Seattle (June 1985). Google ScholarDigital Library
- Th82.Thall. R. "Large Scale Software Development with the Ada Language System." 6th International Conference on Software Enginetring, Tokyo (September 1982).Google Scholar
- Ti80.Tichy, W. Software Devtlopment Control Based on System Structure Description. PhD thesis, Carnegie- Mellon University, (January, 1980). Google ScholarDigital Library
- Ti82.Tichy, W. "Design, Implementation, and Evaluation of a Revision Control System." 6th lnttrnational Conference on Software Engineering, Tokyo (September 1982). Google ScholarDigital Library
- TL85.Thomas, I., and Loerscher, J. "MOSAIX: A Version Control and History Management System" Workshop on Software Engineering Environments for Programming-in-the-large, Harwichport, MA (June 198s).Google Scholar
- W*83.Walker, B., Popek, C., English, R., Kline, C., and Theil, G. "The LOCUS Oistributed Operating System". 9th Symposium on Operating Systtms Principles, Bretton Woods, NH (October 1983). Google ScholarDigital Library
- Xe81.Xerox Corporation. Courier: Tht Remote Procedurt Call Mechanism. Xerox Technical Report, XSIS 038112, Stamford, CT (December 1981).Google Scholar
- Xe85.Xerox Corporation. Xerox Network Systems Architecture. Xerox Technical Report, XNSG068504, Palo Alto, CA (April 1985).Google Scholar
- ZW85.Zdonik, S., and Wegner, P. "A Database Approach to Languages, Libraries, and Environments" Workshop on Software Enginttring Environments for Programming-in-the-large, Harwichport, MA (June 1985).Google Scholar
Index Terms
- Jasmine: a software system modelling facility
Recommendations
Jasmine: a software system modelling facility
Jasmine is a programming-in-the-large system designed by the authors at Xerox Information Systems Division. Jasmine consists of workstation tools and network services that help programmers develop, release, and maintain large software systems. Jasmine ...
Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models
HASE '08: Proceedings of the 2008 11th IEEE High Assurance Systems Engineering SymposiumThis paper describes the Jasmine tool to detect inconsistencies between the modelled behavior depicted in UML behavior models and monitored runtime behavior of Java programs by runtime verification. Jasmine takes Java programs under verification and ...
JASMine: accessing java code from CoreASM
Rigorous Methods for Software Construction and AnalysisIn this paper we introduce JASMine, a CoreASM plug-in providing means to access Java objects and classes from inside an ASM specification. We discuss why this access is desirable, and provide a formal specification of the new rule forms as well as some ...
Comments