Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 16
Volume 16, Number 1, March 2009
- Alexander Egyed, Bernd Fischer
:
Guest editors' introduction. 1-2 - Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
Monitoring and diagnosing software requirements. 3-35 - Greg Little, Robert C. Miller:
Keyword programming in Java. 37-71 - Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian:
Scalable satisfiability checking and test data generation from modeling diagrams. 73-99 - Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki:
Fast extraction of high-quality framework-specific models from application code. 101-144 - Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst:
Parameter reference immutability: formal definition, inference tool, and comparison. 145-192
Volume 16, Number 2, June 2009
- Michael W. Godfrey, Bogdan Korel:
Editorial for Special Issue of JASE on Source Code Analysis and Manipulation. 193-195 - Dennis Giffhorn, Christian Hammer:
Precise slicing of concurrent programs. 197-234 - Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella:
Trading-off security and performance in barrier slicing for remote software entrusting. 235-261 - Andreas Lochbihler, Gregor Snelting:
On temporal path conditions in dependence graphs. 263-290 - Eva Magnusson, Torbjörn Ekman, Görel Hedin:
Demand-driven evaluation of collection attributes. 291-322 - Marius Marin, Arie van Deursen, Leon Moonen, Robin van der Rijst:
An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw. 323-356 - Jason Sawin, Atanas Rountev:
Improving static resolution of dynamic class loading in Java using dynamically gathered environment information. 357-381
Volume 16, Numbers 3-4, December 2009
- Robert J. Hall:
A first editorial. 383-385 - Abdelouahed Gherbi, Ferhat Khendek:
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL. 387-414 - Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A semantic framework for metamodel-based languages. 415-454 - Timo Tuunanen, Jussi Koskinen, Tommi Kärkkäinen:
Automated software license analysis. 455-490
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
