External Links

    Journal: Automated Software Engineering

    Volume 16, Issue 3-4

    383 -- 385Robert J. Hall. A first editorial
    387 -- 414Abdelouahed Gherbi, Ferhat Khendek. From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL
    415 -- 454Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. A semantic framework for metamodel-based languages
    455 -- 490Timo Tuunanen, Jussi Koskinen, Tommi Kärkkäinen. Automated software license analysis

    Volume 16, Issue 2

    193 -- 195Michael W. Godfrey, Bogdan Korel. Editorial for Special Issue of JASE on Source Code Analysis and Manipulation
    197 -- 234Dennis Giffhorn, Christian Hammer. Precise slicing of concurrent programs
    235 -- 261Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella. Trading-off security and performance in barrier slicing for remote software entrusting
    263 -- 290Andreas Lochbihler, Gregor Snelting. On temporal path conditions in dependence graphs
    291 -- 322Eva Magnusson, Torbjörn Ekman, Görel Hedin. Demand-driven evaluation of collection attributes
    323 -- 356Marius Marin, Arie van Deursen, Leon Moonen, Robin van der Rijst. An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw
    357 -- 381Jason Sawin, Atanas Rountev. Improving static resolution of dynamic class loading in Java using dynamically gathered environment information

    Volume 16, Issue 1

    1 -- 2Alexander Egyed, Bernd Fischer. Guest editors introduction
    3 -- 35Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos. Monitoring and diagnosing software requirements
    37 -- 71Greg Little, Robert C. Miller. Keyword programming in Java
    73 -- 99Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian. Scalable satisfiability checking and test data generation from modeling diagrams
    101 -- 144Michał Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki. Fast extraction of high-quality framework-specific models from application code
    145 -- 192Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst. Parameter reference immutability: formal definition, inference tool, and comparison
    runs on