%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Forum for Academic Software Engineering % % (The Electronic Version) % % % % Volume 3, Number 1, April 26, 1993 (FASE No. 11) % % % % _____________________________________________________________________ % % % % 1 FASE submission % % % % 2 "Advanced Studies in Software Engineering" % % % % 3 SESS '93 program % % % % 4 VII Brazilian Software Engineering Symposium % % % % 5 1993, Kiev, Ukraine: INTERNATIONAL CONFERENCE FOR COMPUTER % % TECHNOLOGIES IN EDUCATION % % % % 6 Book Review: "AN INTEGRATED APPROACH TO SOFTWARE ENGINEERING % % % % _____________________________________________________________________ % % % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 1====================================1====================================1 From: Organizing Committee Subject: FASE submission As you undoubtedly have noticed, the FASE newsletter has not appeared for several months. The reason is simply that we have not received any news to publish! We know that exciting things are happening in the world of software engineering education, things that the others of us want to know about. Please consider submitting a news item, commentary, or other so that we can hear what you are doing or what you have learned. We want to resume publishing the newsletter on a regular basis, but we need something to publish. I would be most happy to hear comments regarding this newsletter. Please do not hesitate to send email to me at kpierce@d.umn.edu. 2====================================2====================================2 From: DLEWIS@SCUACC.SCU.EDU Subject: "Advanced Studies in Software Engineering" My interest is related to the fact that my department just got approval for a new graduate-level certificate program called "Advanced Studies in Software Engineering", and I'm looking for an appropriate publication to submit an article describing the program. Our program has the following features, some of which probably make it unique: 1. Admission requires a BS degree with a 2.75 gpa, demonstrated competence in data structures, and a prior introductory course in software engineering. Students are NOT required to submit GRE scores. Students without data structures or software engineering may be admitted, but are required to do additional coursework. 2. The program is kind of like a "Mini-Masters". Although NOT a degree program, the coursework consists of 16 quarter units of graduate academic credit. What's significant about this is that a student who wants to continue for a MS degree can apply all 16 units towards the 45 normally required for the MS. And those who complete the program with a gpa of 3.5 or better and want to continue for a master's are exempted from the normal GRE requirement for admission to the MS program. 3. Since we are in the middle of Silicon Valley, we try to schedule our classes for the working student. Some classes are taught in the early morning, and others in the evening after work. Most of our students take two courses of two units each every quarter. (A two-unit course meets once a week for two hours.) This means that part-time students can complete the program in about 1 year. Although many of the courses are already being taught as part of our regular graduate offerings, we won't begin accepting applications for the certificate program until this summer. A brochure is being printed now, and I can send you one in about a month if you're interested. Dan Lewis, chair Computer Engineering Santa Clara University E-Mail: dlewis@scu.edu Phone: (408) 554-4449 FAX: (408) 554-5474 3====================================3====================================3 From: DUFRESNERE@npt.nusc.navy.mil Subject: sess '93 program WEDNESDAY 1 SEPTEMBER 1993 9.30 Opening address 9.45-10.30 Open Remarks "SESS 93 and key issues in SES" from General chair, Dr T Katsoulakos. 10.30-11.00 Break 11.00-12.30 Plenary Panel Session "Overview of SES" Moderator: R Ciampoli Panelists: L Tripp, Boeing Prof N Fenton, City University W Heidreich, Siemens (to be confirmed) S Magee (to be confirmed) 12.30-14.00 Lunch 14.00-15.30 Session 2 SES Development case studies Session Chair: J Brazendale? GRADUATING FROM A DEFINED SOFTWARE DEVELOPMENT PROCESS TO A MANAGED PROCESS - A CASE HISTORY. J Fairclough, Logica Aerospace and Defence Limited. APPLYING ISO9001 TO SMALL SCALE SOFTWARE DEVELOPMENT PROJECTS. J Richard, Napier University. DEVELOPING A STRUCTURED SET OF STANDARDS. R Stevens and R Scheffer, European Space Agency. GENERIC BASE STANDARDS. R Scowen, National Physical Laboratory. Panel Session 3 Do we need standards? Moderator: V Edelstein Panellists:Prof N Schneidewind Prof F Buckley D Jones 15.30-16.00 Break 16.00-17.30 Session 4 SES Development case studies Session Chair: Dr P Poon SDL: THE STANDARD FOR ENGINEERING TELECOMMUNICATIONS SOFTWARE. R Reed, Telecommunicatioins Software Engineering and O Faergemand, Danish Telecomms Research Laboratory. THE STANDARDISATION OF MESSAGE SEQUENCE CHARTS. J Grabowski, Universitat Bern. P Graubann and E Rudolph, Siemens AG. PROCESS THRU PICTURES. S Hegde and S Ryburn, Bull Information Systems. Session 5 SW Assessment and quality Session Chair: B Dufresne EXPERIENCE OF IMPLEMENTING SW MEASUREMENT PROGRAMMES IN INDUSTRY. C Shelley, Racal Research Limited. ISO 9000 AND ISO 9126: FRIENDS OR FOES? G Bazzana and R Brigliadori, Etnoteam. AN APPROACH TO SOFTWARE ASSESSMENT. T Denvir, Lloyd's Register. STANDARDIZATION OF SOFTWARE RELIABILITY ESTIMATION AND PREDICTION: APPLICATION TO SPACE SYSTEMS. N Schneidewind, Naval Postgraduate School. THURSDAY 2 SEPTEMBER 1993 9.00-10.00 Keynote address R Bloomfield Prof B Littlewood 10.00-10.30 Break 10.30-12.00 Session 6 Assessing standards and stds frameworks Session Chair: Prof N Buxton ? TOWARDS THE EVALUATION OF SOFTWARE ENGINEERING STANDARDS. N Fenton and S Page, City University. SOFTWARE QA/QM STANDARDS - A GUIDELINE TO AVOID THE CONFUSION. J Sanz, Isdefe. THE ESA CASE TOOLS POLICY. C Mazza, D De Pablo and B Melton, European Space Agency. ARE FORMAL METHODS A GOOD THING FOR PROGRAMMING LANGUAGE STANDARDS? SETTING AN AGENDA FOR THE FUTURE. M Woodman, The Open University. Session 7 Support for standards Session Chair: A Altes THE NEW ROLE OF A DOCUMENTATION SYSTEM FOR STANDARDISATION. C Skourlas and G Miaoulis, Technological Education Institute. V Malagrakis, Greek Organisation for Standardisation. S Xanthakis, OPL. INFORMATION SYSTEMS ENGINEERING. B Myburgh and O Gerhard, Information Systems Engineering Consulting. INTELLIGENCE IN NETWORK MANAGEMENT: METHODOLOGICAL APPROACH. S Znaty, Telecom Paris. USING ABSTRACTIONS TO BUILD STANDARDIZED COMPONENTS FOR ENTERPRISE MODELS. B Work and A Balmforth, University of Surrey. 12.00-13.30 Lunch 13.30-15.00 Session 8 Safety Critical Stds Session Chair: B Malcom, Malcom Associates FORMAL METHODS IN SAFETY CRITICAL STANDARDS. J Bowen, Oxford University Computing Laboratory. AN INTERNATIONAL SAFETY CRITICAL SOFTWARE STANDARD FOR THE 1990'S. D Hawkes, UK CAA. W Struck and L Tripp, Boeing. ASSESSMENT OF SAFETY CRITICAL SYSTEMS. R Shaw, Lloyd's Register. Session 9 Panel user views Moderator: C Cheetham Panellists:L Tripp R Schomberg (to be confirmed) A Boussalem (to be confirmed) N Dickinson 15.00-15.30 Break 15.30-17.00 Session 12 Assessment of standards Stds framework Session Chair: S Mamone A METHOD FOR SELECTING STANDARDS FOR SOFTWARE ENGINEERING. J Thornton, Orsand Ltd and A Bytheway, Cranfield School of Management. INDUSTRIAL ACCEPTANCE OF SOFTWARE QUALITY ASSURANCE STANDARDS. J Barrie Thompson, C Davis and P Smith, University of Sunderland GRAPHICAL REPRESENTATION OF INFORMATION IN SOFTWARE ENGINEERING: ISO-IEC JTC1/SC7 FRAMEWORK, CONCEPTS AND STANDARDS ACTIVITY. I Ushakov, The Open University. R Werling, Software Productivity Consortium. H Nagano, NTT Software Labs. Y Yoshikazu, Keio University. Session 13 SW Development Session Chair: D Bollignano SPECIFYING JOINT BEHAVIOUR OF OBJECTS: FORMALISATION AND STANDARDISATION. H Kllov and L Redmann, Bellcore. FROM SOFTWARE AND HARDWARE FORMAL DESIGN TOWARDS AN INTEGRATED SYSTEM DESIGN METHODOLOGY. L Jadoul, J Van Dun and M Jadoul Alcatel Bell Telephone. STANDARDS AND TECHNIQUES FOR OBJECT-ORIENTED FORMAT. K Lano and H Haughton, Lloyd's Register. RIGOROUS REVIEW TECHNIQUE USING FORMAL NOTATIONS WITHIN CONVENTIONAL DEVELOPMENT METHODS. S Aujla, BT Development and Procurement. L Semmens and A Bryant, Leeds Polytechnic. Panel Session 14 Progress with standardisation activities Moderator: V Edelstein Panellists:S Magee R Mazza FRIDAY 3 SEPTEMBER 1993 09.00-10.30 Session 15 SES Development/Case Studies Session Chair: M Georges STATUS OF REPOSITORY STANDARDS FOR SOFTWARE ENGINEERING. M Morron, BNR Europe. METHODS AND STANDARDS DEVELOPING THE STANDARD FOR SSADM. A Bryant, Leeds Polytechnic. INTEGRATED KNOWLEDGE-BASED SYSTEM FOR FLEXIBLE ASSEMBLY PROCESS PLANNING. S Pierre, LICEF. M Rabemanantsoa, Universite du Quebec. AN ATTEMPT TO INCREASE SOFTWARE QUALITY BY DETECTING IRREGULAR STYLES. M Sakukura and Y Fukazawa, Waseda University Session 16 SW/Assessment & Quality Session Chair: Prof N Fenton A PRACTITIONER'S GUIDE TO EVALUATION OF SOFTWARE. J Boegh, Elektronik Centralen. H Hausen and D Welzel, GMD. QUALITY STANDARDS: THE ROLE OF SOFTWARE PROCESS ASSESSMENT. S Miller, G Tucker, A Verducci, AT&T Bell Laboratories. SPECIFYING QUALITY REQUIREMENTS IN A FORMALLY DEFINED LANGUAGE STANDARD. R Henry, The University of Nottingham. M Woodman, The Open University. 11.00-12.30 Session 17 Support for standards Session Chair: T Denvir AUTOMATED TOOL SUPPORT FOR ANSI/IEEE STD. 829- 1983 SOFTWARE TEST DOCUMENTATION BRIDGING THE GAP BETWEEN CASE AND CAST. J Higgot, Graham and Hynes, BT Development and Procurement. A SYSTEM FOR AUTOMATED STANDARD SOFTWARE REVIEW. S Fabrizi, R Procopio, D Russo, Banca D'Italia. QUALITY TEST FOR SW OF TRANSPORT MICROCONTROLLER. R Rizzo, CNR-CERISEP and M Speciale, Universita Di Plamero Session 18 Assessment and Certification Session Chair: Dr P Wilkinson, DTI Panellists: G Rabe R Shaw H Hausen 12.30-14.00 Lunc 14.00-15.30 Concluding remarks T Katsoulakos L Tri V Edelstein HOSPITALITY INN, BRIGHTON 30.8.93 - 3.9.93 TUTORIALS 30.8.93 - 31.8.93 TRACK MONDAY 30.8.93 TUESDAY 31.8.93 1 IEEE 1074 STD FOR IEEE 1074 STD FOR DEVELOPING SW LIFE CYCLE DEVELOPING SW LIFE CYCLE PROCESSES PROCESS BY: DAVID SCHULTZ BY: DAVID SCHULTZ 2 METHODOLOGY FOR STANDARD FOR SOFTWARE SOFTWARE QUALITY METRICS QUALITY METRICS BY: NORMAN SCHNEIDEWIND BY: NORMAN SCHNEIDEWIND 3 USING METRICS IN SOFTWARE TESTING BY: AL SORKOWITZ 4 ASSESSMENT OF SOFTWARE ASSESSMENT AND PRODUCTS, PROCESSES AND CERTIFICATION OF PERSONNEL SOFTWARE USING BY: TAZ DAUGHTREY STANDARDS BY: TAZ DAUGHTREY 4====================================4====================================4 From: lucena@csg.uwaterloo.ca Subject: VII Brazilian Software Engineering Symposium C A L L F O R P A P E R S ---------------------------- VII BRAZILIAN SOFTWARE ENGINEERING SYMPOSIUM RIO DE JANEIRO, October 26, 27, 28 and 29 The Brazilian Software Engineering Symposium (SBES) is an annual event that congregates researchers, pratictioners and students to present and discuss recent developments in Software Engineering. In its seventh edition we are encouraging submission from the international community. We seek original contributions to the development and use of Software Engineering. Original papers are invited on any aspect of software engineering and papers on the following topics are particularly welcome: .. Theoretical Foundations. .. Methods, Techniques and Tools for Software Development and Maintenance. .. Management of the Development Process. .. Experiences on the use of Software Engineering. .. Social Aspects related to the Software Development Process. Submissions will be reviewed by the program committee for originality, significance, timeliness, soundness and quality of presentation. Papers should state clearly what is novel about the work and should compare it with related work. Theoretical papers should show how the theory relates to software engineering practice; practical papers should discuss lessons learned and the causes of success or failure. Submissions are limited to 16 single side pages, single spaced. Each author of an accepted paper should have financial support from the symnposium regarding hotel accomodations. DEADLINES: .. Paper submission: MAY, 25 1993. .. Acceptance Notification: AUGUST, 15 1993. .. Final Version: SEPTEMBER, 2 1993. PROGRAM COMMITTEE: .. Ana Regina Cavalcanti da Rocha (UFRJ) .. Anthony Finkelstein (Imperial College, UK) .. Carlos J. P. de Lucena (DI/PUC-RIO) .. Daltro Jose Nunes (UFRGS) .. Daniel M. Berry (Software Engineering Institute, USA ; Technion, Israel) .. Fuad G. Sobrinho (EMBRAPA) .. Geovane Cayers Magalhaes (CPQD/TELEBRAS ; DCC-IMECC/UNICAMP) .. Jose Carlos Maldonado (USP/SC) .. Julio Cesar S. P. Leite (DI/PUC-RIO) (Chair) .. Larry Kerschberg (George Mason University, USA) .. Marcos R. S. Borges (UFRJ/NCE) .. Maria Heloisa Penedo (TRW, USA) .. Paulo C. Masiero (ICMSC/USP) .. Paulo Augusto Veloso (DI/PUC-RIO) .. Paulo R. F. Cunha (DI/UFPE) .. Raul C. B. Martins (Rio Scientific Center, IBM-Brasil) .. Ruben Prieto-Diaz (Reuse, Inc., USA) .. Roberto da Silva Bigonha (UFMG) .. Roberto Tom Price (UFRGS) .. Rogerio Drummond (DCC-IMEC/UNICAMP) SUBMISSION: Send 6 copies to the Program Chair: Julio Cesar S. P. Leite (VII SBES) DI/PUC-RIO R. Marques de S. Vicente, 225 22453-900 Rio de Janeiro, Brasil Prof. Carlos J. P. de Lucena Computer Science Department University of Waterloo Waterloo, Ontario Canada N2L 3G1 email: lucena@csg.uwaterloo.ca fax: (519) 7465422 phone: (519)8884683 5====================================5====================================5 From: root@plb.icsti.su Subject: 1993, Kiev, Ukraine: INTERNATIONAL CONFERENCE FOR COMPUTER TECHNOLOGIES IN EDUCATION ********************************************************************** * * * 1993 INTERNATIONAL CONFERENCE * * FOR COMPUTER TECHNOLOGIES IN EDUCATION * * * * ICCTE'93 * * * * ANNOUNCEMENT AND CALL FOR PAPERS * * * * * * Date: 14-18 September, 1993 Kiev, Ukraine * * * ********************************************************************** ORGANIZED BY: International Training and Research Centre, UNESCO/IIP, Kiev Institute for Cybernetics, Ukrainian Academy of Sciences, Kiev International Centre for Scientific and Technical Information (ICSTI), Moscow SPONSORED BY: UNESCO/IIP The Association for Artificial Intelligence (Special Interest Group on AI and Education, SIGAIE) IMPORTANT DATES: Paper submission deadline May 1, 1993 Notification of acceptance June 10, 1993 THE CONFERENCE: ICCTE '93 is to provide a forum for scientific interchange among computer scientists, educators, and cognitive scientists on a broad spectrum of inter-disciplinary research topics, focusing on the theory and application of the new information technologies in education. There will be tutorials and invited talks on the state of the art, special workshops, and demonstrations of systems, prototypes and selected commercial products. TOPICS OF INTEREST: The conference will address the problems connected to the three main directions: o Educational Hypermedia and Multimedia o Knowledge-based Systems for Education o Telematics for Distance Learning. Areas of interest include but are not limited to Authoring Systems and Tools for ITS Design Cognitive Models and Cognitive Diagnosis Student Modelling and Formal Models Learning System Management Expert Systems Application in Education Knowledge Representation and Acquisition Distributed Learning Systems Evaluation of Instructional Computer Systems SUBMISSION: Authors are requested to submit extended abstracts (in English) of not more than 750 words. An abstract should include the title of the submission, type (tutorial, paper, poster, or demonstration), names and addresses of the authors, e-mail of the author who is responsible for all correspondence, and a list of keywords. All abstratcs should be prepared in electronic form in ASCII format and sent by e-mail to edtech@plb.icsti.su or on a PC diskette to Olga Romanovich, P.O.Box 62, Kiev, 252207, Ukraine. Accepted abstracts will be published in the conference handbook. Authors of the best submissions will be requested to prepare a full version for post-conference publication. Conference Organizing Board: Valery Petrushin, Institute for Cybernetics, Kiev, Ukraine Peter Brusilovsky, ICSTI, Moscow, Russia Piet Kommers, University of Twente, Enschede, the Netherlands David Jonassen, University of Colorado, Denver, USA Programme Committee co-Chairs: David Jonassen, University of Colorado, Denver, USA Alexey Dovgyallo, Institute for Cybernetics, Kiev, Ukraine General Chair: V.I Gritsenko, Institute for Cybernetics, Kiev, Ukraine VISIT KIEV at the INDIAN SUMMER TIME ! The ICCTE'93 conference will be held in Kiev, the capital of the Ukraine and the ancient capital of all slavs founded in V century A.C. The city has its unique history, heritage and architectural and cultural masterpieces. Kiev is also the gateway to the understanding of the East European way of living. The dates of the ICCTE'93 fall during the best weather in the region when you may enjoy beaches of Dnieper river, picturesque vicinity of Kiev and open air museum of folk art and architecture. The registration fee is 120 US$, for students - 60 US$. For further information, please contact Local Organising Committe, Katherine Sinitsa e-mail: KATH%ITSLAB.KIEV.UA@RELAY.USSR.EU.NET kATH%ITSLAB.KIEV.UA@FUUG.FI phone: (7-044)-266-63-11 (work) (7-044)-272-79-30 (home) address: Katherine Sinitsa, P.O.Box 933, Kiev, 252087 Questions concerning the conference program may be addressed to any member of the Organising Board Name Telephone E-mail --------------------- ----------------- ---------------------- Russia Peter Brusilovsky +7 (095) 198-7055 plb@plb.icsti.su Ukraine Valery Petrushin +7 (044) 266-63 petr%itslab.kiev.ua@fuug.fi The Netherlands Piet Kommers +31 53 893611 or TOKOMMERS@utwente.nl +31 53 893576 USA David Jonassen +1-303-556-3354 djonassen@cudenver.bitnet or djonassen@cudnvr.denver.colorado.edu 6====================================6====================================6 From: jalote@iitk.ernet.in (pankaj jalote) Subject: Book Review: "AN INTEGRATED APPROACH TO SOFTWARE ENGINEERING The following review of the text book AN INTEGRATED APPROACH TO SOFTWARE ENGINEERING appeared in AMERICAN SCIENTIST, September-October Issue. A review of the book also appeared in ACM Computing Reviews in June 1992 (and reprinted in September 1992), which was also put on the net earlier. As was earlier put on the net and on FASE, those faculty members who want to consider the book for adopting, can send me e-mail at jalote@iitk.ernet.in, and I will try to send a complimentary copy. For this, kindly send me you designation, university address, and e-mail address. As of now I am left only with some copies of the softbound edition. However, one can get a 30 day examination copy of the hard bound edition from the publisher, which can be kept as desk copy if the book is adopted, by writing to: Springer-Verlag, Attn: J. Jeng; 175 Fifth Avenue; New York, NY 10010 Pankaj Jalote (jalote@iitk.ernet.in) ------------------------------------------------------------ A verbatim copy of the review in American Scientist: AN INTEGRATED APPROACH TO SOFTWARE ENGINEERING Pankaj Jalote, Springer-Verlag, 1991, $49.50 Pankaj Jalote's book is an introductory software engineering text that is distinguished by a running case study designed to illustrate and integrate the discussion of various activities and methods in software development process. The book covers the traditional phases of software development - requirements, design, coding and testing - but for each of these phases it presents contemporary, formal and quantitative techniques for phase execution. For example, there are clear and practical explanations of data-flow diagrams, structured analysis and prototyping embedded in the requirements chapter. The design chapter presents a concise high-level analysis of system and module level design principles, such as problem partitioning, abstraction, and functional and object-oriented system decomposition. The coding chapter includes a rigorous but accessible explanation of correctness validation and program-size and complexity analysis. The final chapter on testing covers newer static testing methods, as well as the more traditional dynamic testing methods. For each phase of software development, the text integrates discussion of those metric and formal and procedural verification techniques that can be used to evaluate the deliverables of that phase and insure their quality. There is a strong emphasis on analysis and planning, and an entire chapter is devoted to management aspects such as cost estimation, scheduling and staffing. This chapter also covers quality assurance, monitoring plans and the role of risk management. Finally, the text gives explicit guidelins for documentation of each phase of development, and it also illustrates these guidelines by applying them to the case-study example. Indeed, each formal and quantitative method introduced in the text is explicated by demonstrating how it can be applied in the context of the case study, thereby illustrating both its theory and practice. This book is especially suited for a project-oriented introductory undergraduate course in software engineering because the organization of the book follows the traditional software development process (although nontraditional development models are also described), and because the description of each technique and method related to a particular phase is integrated into the chapter covering that phase. Also, the discussion of project planning comes very early in the text, corresponding to the point where the project plan would would be implemented during actual software development. General emphasis is on quantitative and management techniques used to insure efficient development of correct, maintainable and extensible software systems. In the interst of maintaining an introductory focus and brevity, however, the text does not include discussion of coding tools, such as programming languages, software development environments, debugging aids or simulators. Similarly, advanced topics such as software reuse, reverse engineering and software interoperability, are not included. Overall, the book is very readable and exceptionally well organized. Although intended as an introductory text for students with no previous training, it nonetheless exposes the reader to many current sophisticated formal and quantitative methods. The explanations are complex but are well illustrated and explicitly related to the running case study. The book should provide students with a foundation for further study and an overview of modern software engineering theory and practice. - Susanna Schwab, SoftLab Software Systems Laboratory Research, and Computer Science, University of North Carolina at Chapel Hill. End=================================End=================================End %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % Managing Editor: Pen-Nan Lee % % fase@cs.uh.edu % % % % % % % % % % % % % % Organizing Committee % % % % Keith Pierce % % Department of Computer Science % % University of Minnesota, Duluth % % Duluth, MN 55812-2496 % % Telephone: (218) 726-7194 % % Fax: (218) 726-6360 % % Email: kpierce@d.umn.edu % % % % % % Laurie Werth % % Dept. of Computer Science % % Taylor Hall 2.124 % % University of Texas at Austin % % Austin, Texas 78712 % % Telephone: (512) 471-9535 % % Fax: (512)471-8885 % % Email: lwerth@cs.utexas.edu % % % % % % Pen-Nan Lee % % Dept. of Computer Science % % University of Houston % % Houston, TX 77204-3475 % % Telephone: (713)743-3342, 743-3350 % % Fax: (713)743-3335 % % Email: pnlee@cs.uh.edu % % Email: fase@cs.uh.edu % % % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%