Abstract
ASTEC (Advanced Software TEChnology) is a competence center for industrially relevant research on software technology, centered in Uppsala, Stockholm, and Västerås. It is organized as a consortium between a group of Swedish companies and academic institutions, supported and partially funded by VINNOVA, the Swedish Agency for Innovation Systems. In this introduction, we outline the main ideas behind the creation of ASTEC, its activities, and some of the experiences that we have gained from running the center. This issue also contains a set of companion articles, which describe some of the main projects and results obtained in the context of ASTEC.
Similar content being viewed by others
References
Armstrong J, Virding R, Wikström C, Williams M (1996) Concurrent Programming in Erlang. Prentice Hall
Fredlund L-Å, Gurov D, Noll T, Dam M, Arts T, Chugunov G (2003) A verification tool for Erlang. Int J Softw Tools Technol Transfer 4(4): 404–419
Belina F, Hogrefer D (1991) SDL with applications to protocol specification. Prentice Hall
Engblom J, Ermedahl A, Sjödin M, Gustafsson J, Hansson H (2003) Worst-case execution-time analysis for embedded real-time systems. Int J Softw Tools Technol Transfer 4(4): 436–454
Håkansson J, Jonsson B, Lundqvist O (2003) Generating on-line test oracles from temporal logic specifications. Int J Softw Tools Technol Transfer 4(4): 455–470
ISO/IEC 9646-3 (1997) Information Technology – Open Systems Interconnection – Conformance testing methodology and framework – Part 3: The Tree and Tabular Combined Notation (TTCN). Available at ftp://ftp.npl.co.uk/pub/ttcn/
Johansson E, Pettersson M, Sagonas K, Lindgren T (2003) The development of the HiPE system: Design and experience report. Int J Softw Tools Technol Transfer 4(4): 420–435
Morzenti A, Mandrioli D, Ghezzi C (1992) A model-parametric real-time logic. ACM TOPLAS, 14(4): 521–573, Oct 1992
Park D (1976) Finiteness is mu-ineffable. Theor Comput Sci 3: 173–181
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
About this article
Cite this article
Jonsson , B., Sagonas , K. Preface by the section editors. STTT 4, 401–404 (2003). https://doi.org/10.1007/s10009-003-0108-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-003-0108-7