期刊名称：AUTOMATED SOFTWARE ENGINEERING
 期刊简介(About the journal)
投稿须知(Instructions to Authors)
编辑部信息(Editorial Board)
About the journal
Description
This journal details research, tutorial papers, survey and accounts of significant industrial experience in the foundations, techniques, tools and applications of automated software engineering technology. This includes the study of techniques for constructing, understanding, adapting, and modeling software artifacts and processes.
Coverage in Automated Software Engineering examines both automatic systems and collaborative systems as well as computational models of human software engineering activities. In addition, it presents knowledge representations and artificial intelligence techniques applicable to automated software engineering, and formal techniques that support or provide theoretical foundations. The journal also includes reviews of books, software, conferences and workshops.
Abstracted/Indexed in:
Academic OneFile, Compendex, CompuScience, Computer Abstracts International Database, Computer Science Index, CSA/Proquest, Current Abstracts, Current Contents/Engineering, Computing and Technology, DBLP, Ei Page One, Gale, Google Scholar, Inspec, Journal Citation Reports/Science Edition, OCLC, Science Citation Index Expanded (SciSearch), SCOPUS, Summon by Serial Solutions, TOC Premier
Aims and scope
Automated Software Engineering is an archival, peer-reviewed journal publishing research, tutorial papers, survey and accounts of significant industrial experience in the foundations, techniques, tools and applications of automated software engineering technology. This includes the study of techniques for constructing, understanding, adapting, and modelling software artifacts and processes. Both automatic systems and collaborative systems are within the scope of the journal, as are computational models of human software engineering activities. Knowledge representations and artificial intelligence techniques applicable to automated software engineering are of interest, as are formal techniques that support or provide theoretical foundations.
Topics of interest include, but are not restricted to: specification and design representation schemes, both formal and informal; descriptions and models of the development process; tools and environments to support software development; cognition in software development, including studies of specifiers, designers and implementors, and cognitive properties of representation schemes, programming and programming languages; software development methods, analysis and validation; requirements elicitation, acquisition and formalization; system rationale; software quality and metrics; software reuse and adaptation; animation and execution of specifications and designs; domain modelling and analysis; software visualization; software object management; development of user interfaces; group and team work in software engineering; development of distributed, real-time, embedded and composite systems; systems integration; software evolution and maintenance; system testing; reverse engineering and program understanding; documentation and program explanation.
Automated Software Engineering has worldwide distribution to individuals, industry and institutions. It includes reviews of books, software, conferences, and workshops.
Instructions to Authors
Manuscript submission
Manuscript Submission
Submission of a manuscript implies: that the work described has not been published before; that it is not under consideration for publication anywhere else; that its publication has been approved by all co-authors, if any, as well as by the responsible authorities 锟斤拷?tacitly or explicitly 锟斤拷?at the institute where the work has been carried out. The publisher will not be held legally responsible should there be any claims for compensation.
Permissions
Authors wishing to include figures, tables, or text passages that have already been published elsewhere are required to obtain permission from the copyright owner(s) for both the print and online format 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.
Online Submission
Authors should submit their manuscripts online. Electronic submission substantially reduces the editorial processing and reviewing times and shortens overall publication times. Please follow the hyperlink 鈥淪ubmit online锟斤拷?on the right and upload all of your manuscript files following the instructions given on the screen.
Title page
Title Page
The title page should include:
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 corresponding author
Abstract
Please provide an abstract of 150 to 250 words. The abstract should not contain any undefined abbreviations or unspecified references.
Keywords
Please provide 4 to 6 keywords which can be used for indexing purposes.
Text
Text Formatting
Manuscripts should be submitted in LaTeX. Please use Springer鈥檚 LaTeX macro package and choose the formatting option 鈥渟mallextended锟斤拷?
The submission should include the original source (including all style files and figures) and a PDF version of the compiled output.
LaTeX macro package
Word files are also accepted. In this case, please use Springer鈥檚 Word template for preparing your manuscript.
Word template
Headings
Please use the decimal system of headings with no more than three levels.
Abbreviations
Abbreviations should be defined at first mention and used consistently thereafter.
Footnotes
Footnotes can be used to give additional information, which may include the citation of a reference included in the reference list. They should not consist solely of a reference citation, and they should never include the bibliographic details of a reference. They should also not contain any figures or tables.
Footnotes to the text are numbered consecutively; those to tables should be indicated by superscript lower-case letters (or asterisks for significance values and other statistical data). Footnotes to the title or the authors of the article are not given reference symbols.
Always use footnotes instead of endnotes.
Acknowledgments
Acknowledgments of people, grants, funds, etc. should be placed in a separate section before the reference list. The names of funding organizations should be written in full.
Scientific style
Please use the standard mathematical notation for formulae, symbols etc.:
Italic for single letters that denote mathematical constants, variables, and unknown quantities
Roman/upright for numerals, operators, and punctuation, and commonly defined functions or abbreviations, e.g., cos, det, e or exp, lim, log, max, min, sin, tan, d (for derivative)
Bold for vectors, tensors, and matrices.
References
Citation
Cite references in the text by name and year in parentheses. Some examples:
Negotiation research spans many disciplines (Thompson 1990).
This result was later contradicted (Becker and Seligman 1996).
This effect has been widely studied (Abbott 1991; Barakat et al. 1995; Kelso and Smith 1998; Medvec et al. 1993).
Reference list
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 and unpublished works should only be mentioned in the text. Do not use footnotes or endnotes as a substitute for a reference list.
Reference list entries should be alphabetized by the last names of the first author of each work.
Journal article
Hamburger, C.: Quasimonotonicity, regularity and duality for nonlinear systems of partial differential equations. Ann. Mat. Pura. Appl. 169, 321锟斤拷?54 (1995)
Article by DOI
Slifka, M.K., Whitton, J.L. Clinical implications of dysregulated cytokine production. J Mol Med. (2000) doi:10.1007/s001090000086
Book
Geddes, K.O., Czapor, S.R., Labahn, G.: Algorithms for Computer Algebra. Kluwer, Boston (1992)
Book chapter
Broy, M.: Software engineering 锟斤拷?from auxiliary to key technologies. In: Broy, M., Denert, E. (eds.) Software Pioneers, pp. 10锟斤拷?3. Springer, Heidelberg (2002)
Online document
Cartwright, J.: Big stars have weather too. IOP Publishing PhysicsWeb. http://physicsweb.org/articles/news/11/6/16/1 (2007). Accessed 26 June 2007
Always use the standard abbreviation of a journal鈥檚 name according to the ISSN List of Title Word Abbreviations, see
www.issn.org/2-22661-LTWA-online.php
Tables
All tables are to be numbered using Arabic numerals.
Tables should always be cited in text in consecutive numerical order.
For each table, please supply a table caption (title) explaining the components of the table.
Identify any previously published material by giving the original source in the form of a reference at the end of the table caption.
Footnotes to tables should be indicated by superscript lower-case letters (or asterisks for significance values and other statistical data) and included beneath the table body.
Editorial Board
Editorial Board
Editor-in-Chief:
Robert J. Hall
AT&T Laboratories Research
180 Park Ave, Bldg. 103
Florham Park, NJ 07932, USA
Bob.ASEJ@gmail.com
Editor Emeritus:
Bashar Nuseibeh, The Open University, Milton Keynes,UK
Editorial Board:
Jamie Andrews, University of Western Ontario, Canada
Barry Boehm, University of Southern California, USA
Alex Borgida, Rutgers University, USA
Martin S. Feather, Jet Propulsion Laboratory, Pasadena, USA
Stephen F. Fickas, University of Oregon, USA
Anthony Finkelstein, University College London, UK
Gerhard Fischer, University of Colorado, USA
Sol J. Greenspan, The National Science Foundation, USA
John Grundy, University of Auckland, New Zealand
Michael Jackson, The Open University, UK
Takuya Katayama, Japan Advanced Institute of Science and Technology, Ishikawa, Japan
Michael R. Lowry, NASA Ames Research Center, USA
Tim Menzies, University of West Virginia, USA
John Mylopoulos, University of Toronto, Canada
Leon J. Osterweil, University of Massachusetts, USA
Ian Sommerville, St. Andrews University, Scotland, UK
Douglas R. Smith, Kestrel Institute, USA
Alistair Sutcliffe, University of Manchester, UK
Axel van Lamsweerde, Universit茅 Catholique de Louvain, Belgium
| 
刊名字顺( Alphabetical List of Journals):
返回页首 