DOCSLIB.ORG

Alaris Capture Pro Software

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Alaris Capture Pro Software FACS FACTS The Newsletter of the BCS Formal Aspects of Computing Science SIG Series 2 Vol 2 No1 May '91. Editorial 1 FACS Officers and Committee 2 FACS Reports 3 - 8 FACS Journal Contents 9 Refinement Workshop 10 LOTOS Papers 11 - 26 EATCS Contents 27-29 Notices 30-40 Forthcoming Events 41-50 Editor Jawed Siddiqi From now on we shall ensure that FACS FACTS like its sister publication the FACS journal will appear quarterly. Our target dispatch dates are the last days of the months of May, August, November and February. We are still having difficulty in obtaining "copy" for FACS FACTS, this might be b.ecause you are not sure what and when to send. FACS FACTS is an "open-newsletter" _ it welcomes contributions. The newsletter provides an excellent forum to get your early thoughts circulated and reviewed. So why not send us your draft research reports. You can also send notices of events like workshops and conferences. The submission dates are end of April, July, October and January. Jawed Siddiqi BCS-FACS Ofllcers (jenecal Iflcrnuers 1 , , Dr. A. J@remy J. Dick 'I' Chalrm~n: ,I Dr. D. John Cooke Bull Res@lIrch Department of Computer StudIes 68, Route de Versailles Loughborough UnIversIty of Technology 18430 Louveclennes I.OUGIIBOROUGII FRANCE LeIcestershire Tel: ~33 (I) 39 02 51 11 LEll 3TU FAX: ~33 (1) 39 02 49 77 Tel: (0509) 222616 E-mail: [email protected] FAX: (0509) 610815 E-mail: [email protected] Prof. Stephen J. Gold."ck Department of Computlno (Currently seconded to: Secretary: ImperIal Colleoe B. Tlm Denvlr 180, OUeen~ GlIte DTI 1 ITD Room 815 Praxis Systems Plc lIenslnoton IIlngsgate IIouse LONDON 20, H~nvers Street 66-14, Victoria Street BATII Sill 2Bt LONDON Tel: (011) 5895111 BAI IPX SWIE 6S11 Tel: (0225) 444700 FAX: (011) 581 8024 Tel: (011) 215 2353 FAX: (0225) U5205 E-mail: [email protected] E-maIl: [email protected] E-mail: [email protected] Dr. Richard J. Hltchell Treasurer: Department of ComputIng Or. ROQer G. Stone Brighton Polytechnic Oepa.rtment of Computer Studies Houlsecoomb Loughborough University of Technology BRIGHTON LOUGHBOROUGII Sussex I.elcesterohlre BN2 4GJ LEll 3TU Tel: (0213) 588641 lel: (0509) 222616 FAX: (0213) 571701 FAX: (0509) 610815 E-mail: [email protected] [-mall: [email protected] Roger Shaw Newsletter Editor: Performance Technology Group Dr. Jawed I. A. Slddlql Lloyds Reglster of Shipping Department of Computer Studies Lloyds Register IIouse School of Computing and Hanagement 29, Nellesley Road Sheffield City Polytechnic CROYDON 'DO Nn, f-)U S'l CRO 2AJ SIIEFFIEJ.D Tel: (081) 681 4818 Sl1 .".,D E-mail: [email protected] Tel: (0742) 120911 (direct: 5331551 m.g: 533153) [-mall: [email protected] Prof. Dan Simpson PUbllcIty: Department of Computing Dr. Brlan O. Honahan Brlohton Polytechnic Dr.partment of Computer Science Houlsecoomb The University of Hanchester Oxford Road BRIGIITON HIINCIIES1ER Sussex HI3 9PL BN2 4GJ Tel: (0213) 600900 ext: 2273 Tel: (061) 215 6131 FAX: (0213) 681752 FAX: (061) 215 6280 E-mail: [email protected] E-mail: bqm~uk.ac.man.cs Dr. Davld Till Specialist Groups Hanagement Committee Representative: Department of Computer Science Davld Blyth City University INCORD Ltd Northampton Square 15 Sherwood Avenue LONDON Ferndown ECIV OIlB WIHBORNE Tel: (011) 253,4399 Dorset FAX: (Dl1) 490 5028 01122 8JS E-mail: [email protected] Tel: (0202) 89683~ FAX: (0202/ 894834 Stephen Webster Department of Computing and Coonltlon Bournemouth Polytechnic Fern Barrow Dorset BCS-FACS Meeting on LOTOS 11 September 1990 A meeting on LOTOS, organised by the BCS-FACS group and sponsored by British Telecom, was held at Imperial College on 11 September 1990. LOTOS, Language Of Temporal Ordering Specification, has been adopted as . an International Standard for the specification of the behaviour of distributed, concurrent information processing systems; this meeting was put on with the intention of disseminating information about the nature of the language itself, the availability of support tools and the experience of some of those who are now using LOTOS in earnest. The day began with a tutorial on the language, presented by Ken Turner of Stirling University; no previous knowledge of the language was assumed, and the speaker gave a very comprehensible and gently humorous introduction to all aspects of the notation. The other talk before lunch was given by Paul Tilanus of Netherlands PTT Research. His topic was Tools for LOTOS, and he gave us an overwiew of the current state of play. Much of the work reported here was partly sponsored by the Esprit project LOTOSPHERE, currently the largest project working on LOTOS development; it was noted that the work on tools within LOTOSPHERE took as input tools created within the earlier SEDOS project. The speaker identified various phases in the specification life cycle and discussed the tools which would usefully support those phases. \ He mentioned text editors and syntax-directed editors for specification preparation, tools for syntax and static semantic analysis, simulators which allow the specifier to step through possible behaviours of the system to be specified, tools to perform correctness-preserving transformations or alternatively to check that proposed transformations are indeed correctness-preserving, "compilers" which can produce executable prototypes from a specification by taking note of additional comments which resolve non-deterministic aspects of the specification, and tools for automatic test generation and selection. At present, tools exist in each of the categories described here, but they are research products rather than production quality tools an~ in general are not yet able to handle specifications of the size encountered in industrial environments. The proceedings resumed after lunch with a talk by Robert Booth of British Telecom entitled Experience of using LOTOS for 051. Again the speaker was describing work done as part of the LOTOSPHERE project, specifically on the OSI Specification and Implementation Task. The aims of this Task are to use LOTOS in practice together with the methodology and tools developed in LOTOSPHERE; the application area is OSI Transaction Processing, chosen because this is a service which could be exploited widely for data processing, whilst being a complex standard not yet fully developed. < The work has a definitely industrial focus, aiming to employ technologies which can be used immediately in industry. Experience of such use should lead to refinement of the LOTOSPHERE methodology. Technology transfer and the building of confidence in the new techniques are important aims. Some facets of the LOTOSPHERE method are: LOTOS as a wide-spectrum language used to describe systems at many different levels of abstraction, identification and description of specification structuring styles such as constraint-oriented and state-oriented, transformation methods for moving from one style to another, simulation and testing, compilation and prototyping, the creation of a library of compiled LOTOS fragments .. Experience gained suggests that the notation has good expressive power within its intended field of application, though the inability to express timing constraints is felt to be a potential problem area. The ACT ONE component is found to be cumbersome for describing the kinds of data strucures needed in this Task. Testing is given a high profile by industrial users, but the speaker felt that simulation was a soft option, and in some cases had encouraged specifiers to modify their specifications in order to be executable. Tool performance is felt to be inadequate at present, that is to say, too slow on life-size specifications. The need is felt for some kind of module mechanism to be introduced into the language. Clazien Wezeman, also of British Telecom, then gave a talk on Conformance Testing and LOTOS. She discussed the idea of conformance, a concept which is inherently more complex than the notion of correct implementation for sequential systems since it has to take account of the possible reduction of non-determinism in an implementation. She contrasted the informal specification/informal conformance scenario with its formal counterpart. She stressed the need for testing even when formal specification and formal development techniques were used, and the main part of her talk was concerned with a method, known as CO-OP, which derives a formal description of a tester for a given system. The derivation is compositional, which is to say that given a system described as a composition of two simpler behaviours, then the tester for the composed system is itself composed from testers for the simpler behaviours. Further research will investigate the relation between this work and the ISO conformance testing Standard, will address the problem of test selection (even though we may be able to derive a formal description of a suitable tester we cannot in general exercise all possible behaviours), and will apply the method to life-size examples. Again the work reported here has taken place under the LOTOSPHERE umbrella, though it derives from earlier work in the Alvey FORMAP project. 4 Tommaso Bolognesi, of CNR-CNUCE Pisa, then spoke about Timed LOTOS: which way to go? As mentioned earlier, there is a felt need for the ability to express timing constraints. Many proposals for new features in LOTOS to satisfy this need have been put forward, but none has been universally welcomed as the definitive answer to the problem. The motivation behind these efforts is to provide realistic specification of time-dependent behaviour, and some formal basis for performance analysis. Any new features to be introduced must be sufficiently expressive and perspicuous; for example, specifiying explicitly the passing of time, represented by 'tick' events, is very tedious. An undesirable but predictable side effect of new timing features would be a more complex underlying theory, and consequent loss of analytic power.
Load more

Recommended publications
  • The Engineering Council 2002 to 2010
    The Engineering Council 2002 to 2010 A Review by Andrew Ramsay MA CEng FCIS Contents Foreword 3 Prologue 5 The Early Days of ECUK 7 Year by Year 15 International Recognition 30 Annex A: Timeline 41 Annex B: SARTOR 3 42 Annex C: Incorporated Engineer Title – a Summary 44 Engineering Council Board 2002 to 2010 46 PEIs 2002 and 2010 48 List of Acronyms 49 Index 51 Acknowledgements 55 Page | 2 Foreword This review of the progress of the Engineering Council offers an inevitably personal view of issues, events and people who contributed to what must be judged as a successful period. However, while the Engineering Council is never itself going to be the UK engineering profession, it certainly moved towards a more central and less controversial position in its work and profile during this time. I am indebted to the detailed and lucid account of the earlier years of the Engineering Council written by Colin Chapman and Professor Jack Levy. Entitled Chronicle: An Engine for Change, this was published by the Engineering Council in 2004 and at the time of writing is still available on their website (shortcut link http://bit.ly/IY4ZLf ). However, for the shorter timeframe of this review I have adopted a less episodic structure than that of the Chronicle. It seemed to me that the extraordinary events that led up to creation of a “new regulatory body” in 2002, and in the 21 months that followed, deserved particular examination. Similarly, the way in which the Council was able to influence important developments in international recognition of UK-registered engineers can only really be understood in a continuous narrative – hence a separate section for this.
    [Show full text]
  • ABET 2009 Annual Report for Fiscal Year 2008
    The People at the Heart of ABET Accreditation 2009 Annual Report for Fiscal Year 2008-2009 Table of Contents ABET at a Glance . Page 2 The People of ABET . Page 6 Executive Letter . Page 7 A Legacy of Leadership . Page 8 Q&A with Dr . Michael Milligan . Page 9 The People at the Heart of ABET Accreditation . Page 12 Highlights of the Year . Page 16 ABET Accreditation Council . Page 19 ASAC Commission . Page 21 CAC Commission . Page 23 EAC Commission . Page 25 TAC Commission . Page 27 Industry Advisory Council . Page 29 International Activities Council . Page 31 Financial Highlights . Page 33 Notes to Financial Statements . Page 36 Statistics . Page 38 ABET Board of Directors . Page 46 Team Chairs . Page 47 2008-2009 Program Evaluators . Page 49 ABET Professional Staff . Page 57 Fellows of ABET . Page 58 Linton E . Grinter Award . Page 59 President’s Awards for Diversity . Page 60 Who’s Who on Our Covers . Page 61 2009 ABET Annual Report ABET at a Glance ABET is… n The global gold standard in professional technical education accreditation . n The recognized accreditor for applied science, computing, engineering, and technology programs . n A federation of 30 professional technical societies that represent “the professions .” (See page 3 .) n A 501(c) 3 nonprofit staffed by 34 full- and part-time employees and over 1,500 volunteers . ABET’s Vision ABET will provide world leadership in assuring quality and in stimulating innovation in applied science, computing, engineering, and technology education . ABET’s Mission ABET serves the public through the promotion and advancement of education in applied science, computing, engineering, and technology .
    [Show full text]
  • Certificate in IT for Insurance Professionals Promoting Understanding of IT in Insurance Practice 2010 BCS Certificate in IT for Insurance Professionals 2/3
    Certificate in IT for Insurance Professionals Promoting understanding of IT in insurance practice 2010 BCS Certificate in IT for Insurance Professionals 2/3 Who is it for? How is the exam structured? Price: £120 for CII/BCS members* This certificate has significant benefits The exam is written and is 3 hours in £136 for non-members for everyone who needs to be aware of duration. Certificate in IT potential IT applications in the An update service beyond year 1 is also The paper is set in three parts: insurance industry. It will be available. particularly relevant if you have no • Technical aspects of IT (short formal IT qualifications and you: questions); Price: £49 for CII/BCS members* £63 for non-members for Insurance • are an IT user looking to expand your • Management of IT (longer, application questions); knowledge and understanding; Revision days – held in the weeks • have management responsibility for • Application of IT in insurance (based immediately before each exam, these IT, including purchasing; upon a case study). enable you to: Professionals The Certificate is awarded jointly by the • provide IT assistance to colleagues; • clarify areas of concern in the CII and BCS. • are increasingly involved in IT during syllabus; your day-to-day work. • discover what the examiner is Who can enter? looking for; Information Technology is an important part of What are the benefits? The exam is open to everyone. There • discuss the common mistakes made every business. The insurance industry is especially are no formal entry requirements but The Certificate in IT for Insurance by candidates and how to avoid them; reliant on computer systems to provide the level of you will be expected to draw upon your Professionals: • learn useful revision and exam practical knowledge and experience of service expected by customers and demanded by techniques.
    [Show full text]
  • Spring 2003 HCI 2003 Starts to Materialise in Bath Due for Completion in September
    British Group www.bcs-hci.org.uk Inter aces54 • Spring 2003 HCI 2003 starts to materialise in Bath due for completion in September Words, words, everywhere, nor any stop to think Joined-up thinking with Buckingham Shum & ClaiMaker Cassandra laments lost lyrical love Kilgour chews his words carefully Croucher’s CubistFrog and Laura’s Linux Lingo Cockton sounds off but McEwan heads off! Published by the British HCI Group • ISSN 1351-119X1 Human–Computer Interaction View from the Chair contents Drop the red pants and lose the red faces? 2 View from the Chair Will we ever drop our red UserMan overpants 3 Editorial and don professional attire? Will we take pride in HCI methods that demonstrably deliver 4 ClaiMaker: A semantic web tool for modelling, across product contexts? Can we drop the analysing and visualizing HCI literature matching red faces when confident predictions Simon Buckingham Shum about designs fail to materialise in use? We will not, unless we take HCI methods seriously and 5 Deflections Product Recall create better methods through research, and Gilbert Cockton monitor and improve methods in practice. Developing professionalism is a key goal for 6 CubistFrog.com: an Adventure in Information the British HCI Group, an inclusive group that Architecture seeks effective interactions between educators, Tom Croucher researchers and practitioners. Indeed, I can 7 A Bluffer’s Guide to Linux think of no true profession without such a virtuous stakeholder triangle. Laura Cowen Without research, a profession cannot develop. 8 Conference Report: NordiCHI 2002 Without education, it cannot endure. Without N Bryan-Kinns and F Hamilton practitioners, there is simply no profession.
    [Show full text]
  • FACS FACTS Newsletter We Present Announcements of Future Events of Commemoration
    Issue 2011-1 December 2011 FACS A C T S FACS FACTS Issue 2011-1 December 2011 The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 About FACS FACTS FACS FACTS (ISSN: 0950-1231) is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. Submissions to FACS FACTS are always welcome. Please visit the newsletter area of the BCS FACS website for further details (see http://www.bcs.org/category/12461). Back issues of FACS FACTS are available for download from: http://www.bcs.org/content/conWebDoc/33135 The FACS FACTS Team Newsletter Editor Margaret West <[email protected]> Editorial Team Jonathan Bowen, Margaret West Contributors to this Issue Jonathan Bowen, Jawed Siddiqi, Margaret West BCS-FACS websites BCS: http://www.bcs-facs.org LinkedIn: http://www.linkedin.com/groups?gid=2427579 Facebook: http://www.facebook.com/pages/BCS-FACS/120243984688255 Wikipedia: http://en.wikipedia.org/wiki/BCS-FACS If you have any questions about BCS-FACS, please send these to Paul Boca <[email protected] >. 2 FACS FACTS Issue 2011-1 December 2011 Editorial The year 2012 is the centenary of the birth of Alan Turing and in this 2011 issue of the FACS FACTS newsletter we present announcements of future events of commemoration. Welcome to our 2011 edition of the BCS-FACS newsletter. On 21 September 2011 we held our AGM and this issue includes a report from our Chair, Professor Jawed Siddiqi.
    [Show full text]
  • INSPIRE 2020 Proceedings (PDF)
    INSPIRE XXV e-Learning as a Solution during Unprecedented Times in the 21st Century Editors: J Uhomoibhi, E Dewar, E Georgiadou, P Linecar, P Marchbank, M Ross, G Staples 1 © 2020 Solent University The right of the authors to be identified as authors of this Work has been asserted by them in accordance with section 77 and 78 of the Copyright, Designs and Patents Act 1988. All rights reserved. Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted by the Copyright, Designs and Patents Act 1988, no part of this publication may be reproduced, stored or transmitted in any form or by any means, except with the prior permission in writing of the Publisher, or in the case of reprographic reproduction, in accordance with the terms of the licences issued by the Copyright Licensing Agency. Enquiries for permission to reproduce material outside of the above terms should be directed to the Publisher, Solent University. ISBN 978-1-9996549-4-8 British Cataloguing in Publication Data. A CIP catalogue record for this e-book is available at the British Library. All trademarks, registered names etc acknowledged in this publication are to be the property of their respective owners. Disclaimer: The views expressed in this e-book are of the author(s) and do not necessarily reflect the views of the BCS except where explicitly stated as such. Although every care has been taken by the authors, the editors, the publishers and the BCS in the preparation of the publication, no warranty is given by the authors, the editors, the publisher or the BCS as to the accuracy or completeness of the information contained within it and neither the authors, the editors, the publishers nor the BCS shall be responsible or liable for any loss of damage whatsoever arising by virtue of such information or any instructions or advice contained within this publication or by any of the aforementioned.
    [Show full text]
  • Ieng Ebook Page 2 Contents
    The How becoming an Incorporated Engineer (IEng) IEng could advance your career eBook n The benefits of IEng n Find out how to become professionally registered and the requirements for becoming an IEng n Student/Apprentice? Discover what you can do now to help your future career n Incorporated Engineers share their experiences and explain how professional registration has helped their careers n FAQ’s and useful links IEng eBook page 2 www.engc.org.uk Contents The benefits of IEng 03 Serious about your career in engineering? Get professional recognition 04 Eligibility 05 How to become professionally registered 06 UK-SPEC competence and commitment requirements for IEng registration 07 Student/Apprentice? 08 IEng case studies 09 FAQs 13 Useful weblinks 14 IEng eBook page 3 www.engc.org.uk Becoming an Incorporated Engineer (IEng) could advance your career Professional registration as an IEng not only recognises your proven commitment, skills and experience as an engineer, but also identifies to employers that you have the competence, expertise and work ethic that they value. You will: n Gain a valued badge of competence n Enhance your employability n Stand out from the crowd n Enjoy greater influence within the profession n Earn recognition from your peers n Hold an internationally recognised qualification “One of the many benefits of IEng registration has been the professional recognition of peers ‘‘I am keenly aware of the value and management since I was of professional recognition to awarded the qualification” an individual’s portfolio and the high regard in which it is held Paul Cozens IEng CITP MBCS by employers’’ Ben Watson MDes (Hons) LCGI IEng MIED IEng eBook page 4 www.engc.org.uk Serious about your career in engineering? “I attribute a lot of my success and interesting Get professional recognition career to my professional registration.
    [Show full text]
  • The British Computer Society Annual Report and Consolidated Financial Statements Year Ended 31 August 2020
    The British Computer Society Annual Report and Consolidated Financial Statements Year ended 31 August 2020 Registered charity number 292786 BCS, The Chartered Institute for IT is the business name of The British Computer Society BCS, The Chartered Institute for IT Index Page OFFICERS, DISTINGUISHED FELLOWS AND EXECUTIVE TEAM.................................. 1 PRESIDENT'S MESSAGE .................................................................................................. 2 GROUP CHIEF EXECUTIVE'S REPORT ........................................................................... 3 TRUSTEES REPORT ......................................................................................................... 5 1. THE INSTITUTE’S OBJECTIVES 5 2. THE FUTURE OF THE INSTITUTE – Making IT Good for Society 5 3. ACTIVITY REPORTS 6 4. FINANCIAL REVIEW (including policy statements) 11 5. STRUCTURE, GOVERNANCE AND MANAGEMENT 15 STATEMENT OF TRUSTEES' RESPONSIBILITIES ........................................................18 INDEPENDENT AUDITOR’S REPORT ............................................................................19 CONSOLIDATED STATEMENT OF FINANCIAL ACTIVITIES ..........................................21 BALANCE SHEETS ..........................................................................................................22 CONSOLIDATED CASH FLOW STATEMENT ..................................................................23 INSTITUTE STATEMENT OF CHANGES IN RESERVES……………………………………24 NOTES…………………………………………………..……………………………….………….25
    [Show full text]
  • Publications Core Magazine, 2012 This
    2012 COMMEMORATIVE ISSUE C O RE A Publication of 25 Years of the Fellow Awards the Computer The Origins of Timesharing History Museum An Evening with Walter Isaacson Close up of the Amdahl 470V/6 Computer, 1975. The 470V/6 was the Amdahl Corporation’s fi rst product and ran the same software as IBM System/370 computers but cost less and was smaller and faster. Opposite page: Close-up of IBM 305 RAMAC System Diagram B CORE 2012 / HALL OF FELLOWS DEPARTMENTS MUSEUM UPDATES EXPLORE THE COLLECTION 2 4 6 56 60 58 Contributors An Analog Life An Evening with Oral Histories: Donor Profile Recent Artifact Walter Isaacson The Origins of Donations 3 5 61 Timesharing CEO’s Letter Talking to the Future 7 Museum Donors The President @ CHM C O RE 2012 9 SPECIAL SECTION: TWENTY-FIVE YEARS OF FELLOWS 10 12 14 18 The Fellow Awards Fellows at a Glance Visionary Pioneer 25 Years of Fellows It was 25 years ago that the See an overview of our Fellows— Grace Murray Hopper was a The Computer History Museum Museum began its Fellows where they studied and worked unique individual: a woman in a Fellows often have very inter- program. Since that time, the and what they are known for—in man’s world of computers and esting life trajectories, full of Award has been given to over this two-page chart that shows mathematics and an admiral in dramatic turns and unexpected 60 outstanding individuals in 25 years of Fellows history in an the U.S. Naval Reserve.
    [Show full text]
  • FACS FACTS Newsletter in 2006
    Issue 2007-1 December 2007 FACS A C T S The Newsletter of the Formal Aspects of Computing Science (FACS) Specialist Group ISSN 0950-1231 FACS FACTS Issue 2007-1 December 2007 About FACS FACTS FACS FACTS [ISSN: 0950-1231] is the newsletter of the BCS Specialist Group on Formal Aspects of Computing Science (FACS). FACS FACTS is distributed in electronic form to all FACS members. Submissions to FACS FACTS are always welcome. Please visit the newsletter area of the FACS website [http://www.bcs-facs.org/newsletter] for further details. Back issues of FACS FACTS are available to download from: http://www.bcs-facs.org/newsletter/facsfactsarchive.html The FACS FACTS Team Newsletter Editor Margaret West [[email protected]] Editorial Team Jonathan Bowen, Paul Boca Contributors to this Issue Paul Boca, Jonathan Bowen, Tim Denvir. Margaret West 2 FACS FACTS Issue 2007-1 December 2007 The activities of FACS (e.g., sponsoring conferences and workshops, offering student bursaries and hosting evening seminars) are funded solely from membership subscriptions. The more paid-up FACS members we have, the more we can do. ☺ If you would like to become a FACS member – or renew your lapsed membership – please complete the membership form on Page 24 of this issue of FACS FACTS. If you have any questions about FACS, please send these to Paul Boca [[email protected]] From Margaret West: I am sorry for the rather sparse News Letter. I hope to make up for this next year! The next copy should include items omitted from this issue. Newsletter Editor, Algarve, Portugal, September 2007 3 FACS FACTS Issue 2007-1 December 2007 Editorial Jonathan Bowen, Chair, BCS-FACS Please accept our apologies for the long delay since the last edition of the FACS FACTS Newsletter in 2006.
    [Show full text]
  • Computing Education from Enrolment to Employment
    INSPIRE XXII Computing Education from Enrolment to Employment Editors: P Marchbank Southampton Solent University M Ross Southampton Solent University & BCS Quality SG G Staples BCS Quality SG Chairman J Uhomoibhi University of Ulster 1 © 2017 Southampton Solent University The right of the authors to be identified as authors of this Work has been asserted by them in accordance with section 77 and 78 of the Copyright, Designs and Patents Act 1988. All rights reserved. Apart from any fair dealing for the purposes of research or private study, or criticism or review, as permitted by the Copyright, Designs and Patents Act 1988, no part of this publication may be reproduced, stored or transmitted in any form or by any means, except with the prior permission in writing of the Publisher, or in the case of reprographic reproduction, in accordance with the terms of the licences issued by the Copyright Licensing Agency. Enquiries for permission to reproduce material outside of the above terms should be directed to the Publisher, Southampton Solent University, Faculty of Maritime and Technology. ISBN 978-0-9932889-7-5 British Cataloguing in Publication Data. A CIP catalogue record for this book is available at the British Library. All trademarks, registered names etc acknowledged in this publication are to be the property of their respective owners. Disclaimer: The views expressed in this book are of the author(s) and do not necessarily reflect the views of the BCS except where explicitly stated as such. Although every care has been taken by the authors, the editors, the publishers and the BCS in the preparation of the publication, no warranty is given by the authors, the editors, the publisher or the BCS as to the accuracy or completeness of the information contained within it and neither the authors, the editors, the publishers nor the BCS shall be responsible or liable for any loss of damage whatsoever arising by virtue of such information or any instructions or advice contained within this publication or by any of the aforementioned.
    [Show full text]
  • BCS-FACS: a Report from the Trenches
    FACS FACTS The Newsletter of the BCS Specialist Group in Formal Aspects of Computing Science Issue 2003-1 July 2003 ISSN 0950-1231 Contents Editorial.................................................................................................. 1 BCS-FACS: A report from the trenches.................................................. 2 Some events sponsored/organised by the BCS-FACS group ................ 8 Conference and Workshop Reports ..................................................... 10 ZB2003 conference report ................................................................... 10 FORTEST meeting report .................................................................... 12 Object Oriented Technology in Aviation Workshop .............................. 14 Book Announcements.......................................................................... 15 Some Forthcoming Events................................................................... 16 European Association for Theoretical Computer Science..................... 17 Posts in Formal Methods ..................................................................... 18 FACS Officers...................................................................................... 18 Editorial FACS FACTS is the newsletter of the BCS Formal Aspects of Computing Science (FACS) specialist group. It publishes reports on events organised or attended by the group, and announcements of relevant conferences, books, etc. Previously it was known as FACS EUROPE as it was published in association with the FM
    [Show full text]