A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|ALL

  ¼ì Ë÷£º ÆÚ¿¯Ãû³Æ ISSN         ¸ß¼¶¼ìË÷

ÆÚ¿¯Ãû³Æ£ºFORMAL ASPECTS OF COMPUTING ISSN£º 0934-5043 ³ö°æƵÂÊ£º Quarterly ³ö°æÉ磺 SPRINGER, 233 SPRING STREET, NEW YORK, USA, NY, 10013   ³ö°æÉçÍøÖ·£º http://www.springer.com/ ÆÚ¿¯ÍøÖ·£º http://www.springer.com/east/home/generic/search/results?SGWID=5-40109-70-1015814-0 Ó°ÏìÒò×Ó£º 1.149(2008) Ö÷Ìâ·¶³ë£º COMPUTER SCIENCE, SOFTWARE ENGINEERING ±ä¸üÇé¿ö£º 2005New ÆÚ¿¯¼ò½é(About the journal)    Ͷ¸åÐëÖª(Instructions to Authors)    ±à¼­²¿ÐÅÏ¢(Editorial Board)    About the journal Description Newly indexed in ISI's Sciences Citation Index Expanded? the CompuMath Citation Index?and Current Contents?Engineering Computing and Technology. Coverage will begin later this year. This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application.  Applications of existing formalisms are of interest if they show something novel about the approach or application. The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication. In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other. In particular, the scope of Formal Aspects of Computing includes, - well-founded notations for the description of systems - verifiable design methods - elucidation of fundamental computational concepts - approaches to fault-tolerant design - theorem-proving support - state-exploration tools - formal underpinning of widely used notations and methods - formal approaches to requirements analysis. Instructions to Authors Instructions for Authors Formal Aspects of Computing Legal Requirements Editorial Procedure Manuscript Preparation References Illustrations and Tables Electronic Supplementary Material Proofreading Offprints Legal Requirements The author(s) guarantee(s) that the manuscript will not be published elsewhere in any language without the consent of the copyright holders, that the rights of third parties will not be violated, and that the publisher will not be held legally responsible should there be any claims for compensation. Authors wishing to include figures or text passages that have already been published elsewhere are required to obtain permission from the copyright holder(s) and to include evidence that such permission has been granted when submitting their papers. Any material received without such evidence will be assumed to originate from the authors. Manuscripts must be accompanied by the ‘‘Copyright Transfer Statement’’. The form can be obtained from springer.com/journal/165 Editorial Procedure Papers must present scientific results that are essentially new. All manuscripts are subject to peer review. Authors should submit their manuscripts electronically as pdf files to an appropriate member of the editoral board. More information is available under ?"Electronic submission of final version". The journal accepts e-mailed submissions of pdf files. The layout design for Formal Aspects of Computing has been implemented as a LaTeX class file which should be used whenever possible. For further information and links to go to springer.com/journal/165 The preferred mode of preparation of papers is using Latex in conjunction with the fac.cls files. Papers prepared using other systems will also be considered, but the Associate Editor should be contacted beforehand. Please be sure to include your e-mail address and your fax number. Please do not transmit electronic data to the publisher until your manuscript has been reviewed and accepted for publication. Please follow the instructions below. Manuscripts which are returned to the authors for revision should be sent back within 10 weeks; otherwise they will be considered withdrawn. Rejected manuscripts will not be returned to the authors (except for original illustrations). Papers that do not conform to the journal norms may be returned to the authors for revision before being considered for publication. The author is responsible for the accuracy of the references. No manuscript or figures will be returned following publication. Manuscript Preparation Manuscripts should be written in LaTeX for which Springer Verlag offers a LaTeX macropackage (see ?"Electronic submission of final version"). All manuscripts are subject to copy editing. Title page The name(s) of the author(s) A concise and informative title The affiliation(s) and address(es) of the author(s) The e-mail address, telephone and fax numbers of the communicating author Abstract. Each paper must be preceded by an abstract presenting the most important results and conclusions in no more than 100 words. Keywords. Up to 6 keywords should be supplied after the Abstract for indexing purposes. Abbreviations. Abbreviations should be defined at first mention in the abstract and again in the main body of the text and used consistently thereafter. Footnotes. Essential footnotes to the text should be numbered consecutively and placed at the bottom of the page to which they refer. References The list of References should only include works that are cited in the text and that have been published or accepted for publication. Personal communications should only be mentioned in the text. The accuracy of the references is the authors?responsibility. Inconsistencies between the reference list and text citations may lead to a delay in publication. References should be cited in the text by three letters (author surname or in the case of co-authors, first letter of the first three authors?surnames). The date of publication should then follow. At the end of the article, references should be given on a separate page in a list in alphabetical order in the following format: Book: [AbC96] Abadu M, Cardelli L (1996) Title of book. Publisher, Place of publication Chapter in a book: [Ama91] Amadio RM (1991) Title of chapter. In: Smith J (ed) Title of book. Publisher, Location, pp xx–xx Journal Article: [BjJ78] Bjøner D, Jones CB (1978) Title of article. Journal title abbreviated 256:xx–xx References such as ‘‘personal communications’’ or ‘‘unpublished data’’ cannot be included in the reference list, but should bementioned in the text in parentheses: this also applies to papers presented at meeting but not yet published or accepted for publication. A date should be given for both ‘‘personal cmomunications’’ and ‘‘unpublished data’’. Papers which have been accepted for publication should be included in the list of references with the name of the journal and ‘‘in press’’. Oral communications should only be mentioned in the acknowledgements. If available the Digital Object Identifier (DOI) of the cited literature should be added at the end of the reference in question. Example: [DeG03] Derrick J, Smith G (2003) Structural refinement of systems specified in object-Z and CSP. Formal Aspects of Computing 5(1):1?7. DOI 10.1007/s00165-003-0002-9 A paper published online but not (yet) in print can be cited using the Digital Object Identifier (DOI). The DOI should be added at the end of the reference in question. Example: Ward J, Robinson PJ (2004) How to detect hepatocellular carcinoma in cirrhosis. Eur Radiol DOI 10.1007/s00330-004-1450-y. Illustrations and Tables All figures (photographs, graphsor diagrams)andtables shouldbe cited in the text, and eachnumbered consecutively throughout. Lowercase letters (a, b etc.) should be used to identify figure parts. If illustrations are supplied with uppercase labeling, lowercase letters will still be used in the figure legends and citations. Figure parts should be identified by lower-case roman letters. The placement of figures and tables should be indicated in the left margin. For submission of figures in electronic form see below. Line drawings. Please submit good-quality prints. The inscriptions should be clearly legible. Half-tone illustrations (black and white and colour). Please submit well-contrasted photographic prints with the top indicated on the back. Magnification should be indicated by scale bars. Plates. Several figures or figure parts should be grouped in a plate on one page. Size of figures. The figures should either match the width of the column (80 mm) or be 110 mm. The maximum length is 230 mm. Figure legends. Figure legends must be brief, self-sufficient explanations of the illustrations. The legends should be placed at the end of the text. Tables. Tables should have a title and a legend explaining any abbreviation used in that table. Footnotes to tables should be indicated by superscript lowercase letters (or asterisks for significance values and other statistical data). Color illustrations. For color illustrations the authors will be expected to make a contribution (€ 950, US $ 1150, plus VAT) towards the extra costs. Electronic Supplementary Material Electronic supplementary material (ESM) for an article in the journal will be published in SpringerLink provided the material is: submitted to the Editor(s) in electronic form together with the paper and is subject to peer review accepted by the journal’s Editor(s) ESM may consist of information that cannot be printed: animations, video clips, sound recordings information that is more convenient in electronic form: sequences, spectral data, etc. large original data that relate to the paper, e.g. additional tables, illustrations (colour and black & white), etc. After acceptance by the journal’s Editor(s) ESM will be published as received from the author in the online version only. Reference will be given in the printed version. Proofreading LaTeX files are slightly modified during the TeX-editing process so that the general presentation rules of the journal are adhered to. Word files have to be converted and should be proofread carefully by the author. Corrections should be clear; standard correction marks should be used. Corrections that lead to a change in the page layout should be avoided. The author is entitled to formal corrections only. Substantial changes in content, e.g. new results, corrected values, title and authorship are not allowed without the approval of the responsible editor. In such a case please contact the Editorial Office or the Associate Editor before returning the proofs to the publisher. Offprints Twenty-five offprints of each contribution are supplied free of charge. If you wish to order additional ofprints you must return the order form with the corrected proofs. You are then entitled to receive a pdf file of your article for your own personal use. Print Recommend to others Electronic sample copy E-content Special Issue: Automated Verification of Critical Systems (AVoCS 2003), selected papers For authors and editors Aims and scope Download LaTeX macro package (ZIP archive) Submission information Instructions for authors (pdf, 185 Kb) Instructions for Authors Languages OpenChoice Copyright information Table of Contents Alert Please register: E-mail Retype E-mail /* */ Please feel free to send me information from Springer. Additional information Shipping dates Order this journal Order back issues Article Reprints Bulk Orders Societies British Computer Society Formal Aspects of Computing Science Other contacts Publishing Editor Production Editorial Office Customer Service Advertising Related journals Requirements Engineering Innovations in Systems & Software Engineering Acta Informatica Software & Systems Modeling International Journal on Software Tools for Technology Transfer Algorithmica Distributed Computing Theory of Computing Systems Related subjects Computational Science & Engineering Foundations of Computing Mathematics of Computing /* */ Editorial Board Editorial Board Editors-in-Chief Prof. C.B. Jones Department of Computing Science, University of Newcastle Upon Tyne, NE1 7RU, UK email: Cliff.Jones@ncl.ac.uk Prof. J.C.P. Woodcock Department of Computer Science, University of York, Heslington, York, YO10 5DD, UK email: jim@cs.york.ac.uk Asscociate Editor Dr. D.J. Cooke Department of Computer Science, Loughborough University, Loughborough, LE11 3TU, UK email: D.J.Cooke@lboro.ac.uk North American Editor Prof. J.M. Wing Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA email: wing@cs.cmu.edu Editorial Board Prof. E. Astesiano Dipartimento di Informatica e Scienze dell'Informazione, Universit?di Genova, Vle. Benedetto xv, 3, 16 132 Genova, Italy email: astes@disi.unige.it Prof. R. Backhouse Dept. of Computing Science & Information Technology, University of Nottingham, Jubilee Campus, Wollaton Road, Nottingham NG8 1BB, UK email: rcb@cs.nott.ac.uk Prof. D. Bjoerner Department of Information Technology, Bldg 322, Richard Petersens Plads, Technical University of Denmark, 2800 Lyngby, Denmark email: db@it.dtu.dk Prof. A. Blikle Institute of Computer Science, Polish Academy of Sciences, PO Box 22, 00-901 Warsaw PkiN, Poland Prof. M. Broy Institut für Informatik, Technische Universität München, Lehrstuhl IV, Boltzmannst. 3, Garching bei München, Germany email: broy@in.tum.de Prof. M.J. Butler School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK email: mjb@ecs.soton.ac.uk Prof. Dr. C. Delgado Kloos Universidad Carlos III de Madrid, c/Butarque, 15, 28911 Leganés (Madrid), Spain email: cdk@it.uc3m.es Dr Dong Jin Song Department of Computer Science, School of Computing, National University of Singapore, 3 Science Drive 2, Singapore 117543 email: dongjs@comp.nus.edu.sg Prof. D.A. Duce School of Computing and Mathematical Sciences, Oxford Brookes University, Headington, Oxford OX3 0BP, UK email: daduce@brookes.ac.uk Prof. E.A. Emerson Department of Computer Science, University of Texas at Austin, Austin, TX 7812, USA email: emerson@cs.utexas.edu Prof. M.-C. Gaudel Universit?de Paris-Sud, L.R.I. CNRS UA 410, Bâtiment 490, 91405 Orsay Cedex, France email: mcg@lri.fr Prof. Dr. G. Goos GMD, Postfach 1240, Schlo?Birlinghoven, 53754 St Augustin, Germany Prof. I.J. Hayes Department of Computer Science, University of Queensland, Brisbane, Queensland 4072, Australia email: Ian.Hayes@itee.uq.edu.au Prof. He Jifeng Software Engineering Institue, East China Normal University, 3663 Zhongshan Road (North), Shanghai, 200062, China Email: jifeng@sei.ecnu.edu.cn Prof. E.C.R. Hehner Computer Systems Research Group, University of Toronto, Sandford Fleming Building, 10 King's College Road, Toronto, Ontario M5S 3G4, Canada email: hehner@cs.toronto.edu Dr. C.J.P. de Lucena Pontifica Universidade Catholica do Rio de Janeiro, PUCRJ, Departmento de Informatica, Rue Marques de Sao Vicente 225, Gavea, Rio de Janeiro CEP, 22453, Brazil email: lucena@inf.puc-rio.br Prof. T.S.E. Maibaum McMaster University, Department of Computing & Software, 1280 Main St. West, Hamilton, Ontario, Canada L8S 4K1 email: tom@maibaum.org Prof. U.H.M. Martin Department of Computer Science, Queen Mary University of London, Mile End Road, London E1 4NS, UK email: Ursula.Martin@dcs.qmul.ac.uk Prof. A.J.R.G. Milner The Computer Laboratory, Cambridge University, New Museums Site, Pembroke Street, Cambridge CB2 3QG, UK email: Robin.Milner@cl.cam.ac.uk Prof. R. Nakajima Research Institute for Maths Sciences, Kyoto University Kitashirakawa, Sakyo-ku, Kyoto 606, Japan email: reiji@kaba.or.jp Dr. P.K. Pandya School of Technology and Computer Science, Tata Institute of Fundamental Research, Homi Bhabha Road, Colaba, Mumbai 400 005, India email: pandya@tcs.tifr.res.in Dr. J. Parrow Department of Information Technology, University of Uppsala, Box 337, 751 05 Uppsala, Sweden email: joachim@docs.uu.se Dr. B. Pierce Department of Computer Science and Information Science, University of Pennsylvania, 200 South 33rd Street, Philadelphia, PA 19104-6389, USA email: bcpierce@cis.upenn.edu Dr. W.L. Scherlis Department of Computer Science, Carnegie Mellon University, 5000 Forbes Ave., Pittsburgh, PA 15213, USA email: scherlis@cs.cmu.edu Prof. A. Sernadas Section of Computer Science, Department of Mathematics, IST, AV Rovisco Pais, 1096 Lisboa Codex, Portugal email: acs@math.ist.utl.pt Prof. J.V. Tucker University College of Swansea, Singleton Park, Swansea SA2 8PP, UK email: J.V.Tucker@swansea.ac.uk Prof. Zhou Chaochen United Nations University, International Institute for Software Technology, PO Box 3058, Macau email: zcc@ios.ac.cn