Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 70 matches
- 2006
- Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan:
Differencing and Merging of Architectural Views. ASE 2006: 47-58 - Mithun Acharya, Tanu Sharma, Jun Xu, Tao Xie:
Effective Generation of Interface Robustness Properties for Static Analysis. ASE 2006: 293-296 - Michal Antkiewicz:
Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages. ASE 2006: 323-326 - Cyrille Artho, Pierre-Loïc Garoche:
Accurate Centralization for Applying Model Checking on Networked Applications. ASE 2006: 177-188 - Elisa L. A. Baniassad, Kung Chen, Shigeru Chiba, Jan Hannemann, Hidehiko Masuhara, Shangping Ren, Jianjun Zhao:
2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia). ASE 2006: 375 - Matthias Book, Volker Gruhn, Gerald Mucke:
An Instant Message-Driven User Interface Framework for Thin Client Applications. ASE 2006: 257-260 - Silvia Breu, Thomas Zimmermann:
Mining Aspects from Version History. ASE 2006: 221-230 - Yuanfang Cai, Kevin J. Sullivan:
Modularity Analysis of Logical Design Models. ASE 2006: 91-102 - Mikhail Chalabine, Christoph W. Keßler, Peter Bunus:
Automated Round-trip Software Engineering in Aspect Weaving Systems. ASE 2006: 305-308 - Xianghua Deng, Jooyong Lee, Robby:
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. ASE 2006: 157-166 - Ewen Denney, Bernd Fischer:
Annotation Inference for Safety Certification of Automatically Generated Code (Extended Abstract). ASE 2006: 265-268 - Deepak Dhungana:
Integrated Variability Modeling of Features and Architecture in Software Product Line Engineering. ASE 2006: 327-330 - Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank:
Integrating and Scheduling an Open Set of Static Analyses. ASE 2006: 113-122 - Jacky Estublier, Sergio García:
Concurrent Engineering support in Software Engineering. ASE 2006: 209-220 - Jürgen Falb, Thomas Röck, Edin Arnautovic:
Using communicative acts in interaction design specifications for automated synthesis of user interfaces. ASE 2006: 261-264 - Paolo Falcarin, Marco Torchiano:
Automated Reasoning on Aspects Interactions. ASE 2006: 313-316 - Kokichi Futatsugi:
Verifying Specifications with Proof Scores in CafeOBJ. ASE 2006: 3-10 - Philip Gross, Gail E. Kaiser:
Automated Information Aggregation for Scaling Scale-Resistant Services. ASE 2006: 15-24 - John C. Grundy, John G. Hosking, Nianping Zhu, Na Liu:
Generating Domain-Specific Visual Language Editors from High-level Tool Specifications. ASE 2006: 25-36 - William G. J. Halfond, Alessandro Orso:
Command-Form Coverage for Testing Database Applications. ASE 2006: 69-80 - Robert J. Hall:
LSS: A Tool for Large Scale Scenarios. ASE 2006: 349-350 - Noriko Hanakawa, Nao Ikemiya:
A new web browser including a transferable function to Ajax codes. ASE 2006: 351-352 - Ahmed E. Hassan, Ken Zhang:
Using Decision Trees to Predict the Certification Result of a Build. ASE 2006: 189-198 - Andrew Ireland:
Towards Automatic Assertion Refinement for Separation Logic. ASE 2006: 309-312 - Jan Jürjens:
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers. ASE 2006: 167-176 - Sunghun Kim, Thomas Zimmermann, Kai Pan, E. James Whitehead Jr.:
Automatic Identification of Bug-Introducing Changes. ASE 2006: 81-90 - Odile Laurent, Christel Seguin, Virginie Wiels:
A methodology for automated test generation guided by functional coverage constraints at specification level. ASE 2006: 285-288 - Yves Ledru, Lydie du Bousquet:
Tobias-Z: An executable formal specification of a test generator. ASE 2006: 353-354 - Chang Liu, En Ye, Debra J. Richardson:
Software Library Usage Pattern Extraction Using a Software Model Checker. ASE 2006: 301-304 - Marc Lohmann, Gregor Engels, Stefan Sauer:
Model-driven Monitoring: Generating Assertions from Visual Contracts. ASE 2006: 355-356
skipping 40 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-08-10 13:27 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint