From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: *** X-Spam-Status: No, score=3.1 required=5.0 tests=BAYES_20,FILL_THIS_FORM, FILL_THIS_FORM_LONG,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,da6c849848bf39dc,start X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-09-29 09:13:38 PST Path: bga.com!news.sprintlink.net!howland.reston.ans.net!EU.net!Austria.EU.net!newsfeed.ACO.net!swidir.switch.ch!epflnews!dinews.epfl.ch!di.epfl.ch!Magnus.Kempe From: Magnus.Kempe@di.epfl.ch (Magnus Kempe) Newsgroups: comp.lang.ada Subject: CFP: JSS Issue on Software Engg & Distributed Computing Date: 29 Sep 1994 14:41:03 GMT Organization: None Distribution: world Message-ID: <1994Sep29.153754@di.epfl.ch> NNTP-Posting-Host: lglsun4.epfl.ch Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Date: 1994-09-29T14:41:03+00:00 List-Id: [X-posted from comp.object. This seems to be an opportunity to advertise the distribution annex of Ada 9X. After all, how many international standards of programming languages do you know which deal with distributed computing? --MK] Call for Papers Special Issue of The Journal of Systems and Software Tentative Publication Date: June 1996 Software Engineering for Distributed Computing Distributed computing systems or multiprocessors consisting of hundreds of processors are now commercially available. These parallel computing systems provide orders of magnitude more raw computing power than tra- ditional supercomputers at lower cost. Many opportunities for new kinds of applications will be possible if these machines can be fully exploited previously infeasible systems can now be developed. The difficult technical challenge is programming these machines. The development of correct, reliable, maintainable and verifiable distributed software is one of the most significant problems faced by distributed systems developers. While the properties of deterministic sequential software are relatively well understood, software engineering for advanced parallel and distributed computers is still in its infancy. Very few structured techniques, principles and tools are available for parallel programming. Practitioners as well as researchers need to be well informed about requirement analysis techniques, design, implementation and testing issues in distributed software development. In addition to papers that describe different technical and managerial processes for planning, specification, modeling, design, validation, and testing we are looking for material on new tools, new approaches to designing development environments and new algorithms and techniques that are needed to accommodate the new complexities introduced by the asynchronous operations of distributed systems. The special issue will focus on the following topics (not necessarily an exhaustive list) in the context of distributed systems: o Requirement Specification Models for Concurrent Software. o Software Design Techniques. o Petri Nets and Temporal Logic. o Task Partitioning and Task Scheduling. o Distributed Programming Languages. o Testing and Debugging. o Prototyping. o Management of Distributed Software Development. o Measurement (Metrics) for Distributed Software Products and Processes o Object Oriented Methods Applied to Distributed Systems. o Validation and Verification Techniques. o Experience Reports: Success and Failure Stories. Papers should emphasize results that can potentially be applied in real world software engineering environments. They should include a thorough evaluation, through either experimentation, simulation, analysis, and/or experience. Please submit six copies of your manuscript to either guest editor by March 1, 1995; Professor James M. Bieman Professor Pradip K. Srimani Department of Computer Science Department of Computer Science Colorado State University Colorado State University Ft. Collins, CO 80523 Ft. Collins, CO 80523 Tel: (303) 491-7096 Tel: (303) 491-7097 Fax: (303) 491-2466 Fax: (303) 491-2466 Email: bieman@CS.ColoState.Edu Email: srimani@CS.ColoState.Edu Instructions for submitting papers: Papers should not exceed 30 double spaced pages. Papers should not have been previously published, nor currently submitted elsewhere for publication. Papers should include a title page containing title, authors' names and affiliations, postal and email addresses, telephone numbers and Fax numbers. Papers should include a 300 word abstract and 5-10 keywords and be written in general in JSS style. [Note: If you are willing to referee papers for this special issue, please send a note with research interest to Professor Bieman or Professor Srimani.] -- James Bieman Email: bieman@cs.colostate.edu Computer Science Department Phone: (303)491-7096 Colorado State University Fax: (303) 491-2466 Fort Collins, CO 80523