Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAutomated Software Engineering, Volume 13
Volume 13, Number 1, January 2006
- Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. Keller:
Automated Prototyping of User Interfaces Based on UML Scenarios. 5-40 - Alexander Egyed, Robert Balzer:
Integrating COTS Software into Systems through Instrumentation and Reasoning. 41-64 - Andrew Ireland, Jamie Stark:
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis. 65-105 - Vincenzo Ambriola, Vincenzo Gervasi
:
On the Systematic Analysis of Natural Language Requirements with C. 107-167 - Josh Dehlinger, Robyn R. Lutz:
PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool. 169-193
Volume 13, Number 2, April 2006
- Rick Kazman, Arie van Deursen, Rainer Koschke:
Introduction. 199-200 - Henk Koning, Hans van Vliet:
Real-life IT architecture design reports and their relation to IEEE Std 1471 stakeholders and concerns. 201-223 - Nenad Medvidovic, Vladimir Jakobac:
Using software evolution to focus architectural recovery. 225-256 - Gang Huang, Hong Mei, Fuqing Yang:
Runtime recovery and manipulation of software architecture of component-based systems. 257-281 - Robert M. Hierons:
Separating sequence overlap for automated test sequence generation. 283-301 - Anthony Savidis, Constantine Stephanidis:
Automated user interface engineering with a pattern reflecting programming language. 303-339
Volume 13, Number 3, July 2006
- John Penix, John C. Grundy:
Guest Editors' Introduction. 343-344 - Tao Xie, David Notkin:
Tool-assisted unit-test generation and selection based on operational abstractions. 345-371 - Stefan Biffl, Paul Grünbacher, Michael Halling:
A family of experiments to investigate the effects of groupware for software inspection. 373-394 - Thomas Ellman:
Specification and synthesis of hybrid automata for physics-based animation. 395-418
Volume 13, Number 4, October 2006
- Zhaoxia Hu, Sol M. Shatz:
Explicit modeling of semantics associated with composite states in UML statecharts. 423-467 - Karsten Loer, Michael D. Harrison:
An integrated framework for the analysis of dependable interactive systems (IFADIS): Its tool support and evaluation. 469-496 - Amel Mammar, Régine Laleau:
A formal approach based on UML and B for the specification and development of database applications. 497-528
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-18 20:20 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:
