Остановите войну!
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 115 matches
- 1993
- Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio:
Recovering Conceptual Data Models is Human-Intensive. SEKE 1993: 534-543 - Perry Alexander:
BENTON: A Multi-Agent System for Larch Specification Generation. SEKE 1993: 125-133 - Yamine Aït Ameur:
Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. SEKE 1993: 703-710 - Grigoris Antoniou:
Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. SEKE 1993: 183-190 - Alireza Azem, Fevzi Belli, Oliver Jack:
Implementation-Oriented Testing and Reliability Determination of Prolog Programs. SEKE 1993: 526-533 - H. Bachatène, Michel Coriat, Amal El Fallah Seghrouchni:
Using Software Engineering Principles to Design Intelligent Cooperative Systems. SEKE 1993: 309-313 - Salah Badr, Luqi:
A Version and Configuration Model for Software Evolution. SEKE 1993: 225-227 - Alfs T. Berztiss:
Catastrophe Prevention in Safety-Critical Systems. SEKE 1993: 102-108 - Sudin Bhat, Kanth Miriyala:
Operations for Evolving Specifications. SEKE 1993: 343-345 - Sanjay Bhansali:
Architecture-driven Reuse of Code in KASE. SEKE 1993: 483-490 - Brigitte Biebow, Sylvie Szulman:
Acquisition, Analysis and Validation of Informal Requirements. SEKE 1993: 109-116 - Sandrine Blazy, Philippe Facon:
Partial Evaluation for the Understanding of FORTRAN Programs. SEKE 1993: 517-525 - Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh:
Software Engineering in the Year 2000. SEKE 1993: 473 - Gary D. Boetticher, K. Srinivas, David Eichmann:
A Neural Net-Based Approach to Software Metrics. SEKE 1993: 271-274 - Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza:
An Expert Solution to Functional Testability Analysis of VLSI Circuits. SEKE 1993: 263-265 - Nikolaos G. Bourbakis, D. Rice:
An Expert Tool For Automatic Visual VLSI Reverse Engineering. SEKE 1993: 73-77 - Frank W. Calliss, Joseph E. Urban, James H. Cross II, Václav Rajlich:
Reverse Engineering. SEKE 1993: 544-545 - Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone:
Reverse Engineering and Interactive Animation of Ada Programs. SEKE 1993: 507-516 - Tak-Wai Chan, Wen-Chong Wang:
DARET: A Logic-Based Language in Object-Oriented Databases. SEKE 1993: 28-35 - Kai H. Chang, James H. Cross II, W. Homer Carlisle, Shih-Sung Liao:
An Empirical Study of Intelligent Test Case Generation Methods for Software Branch Coverage. SEKE 1993: 437-444 - Shi-Kuo Chang, Angelo Perkusich, Jorge C. A. de Figueiredo, Bing Yu, Wolfgang D. Ehrenberger:
The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics. SEKE 1993: 36-45 - Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong:
VCFS: A File System for Transparent Version Control. SEKE 1993: 248-251 - Lianhui Chen, Paul Voumard:
Knowledge Engineering in Fault Diagnostic Problem Solving. SEKE 1993: 255-257 - Chen Chen, Elizabeth L. White, James M. Purtilo:
A Packager for Multicast Software in Distributed Systems. SEKE 1993: 612-621 - Albert Mo Kim Cheng:
A New Complexity Metric for OPS5 Rule-Based Systems. SEKE 1993: 244-247 - William C. Chu, Sukesh Patel:
A Re-cnginacring Tool for the Reuse of Large Scale Software Systems. SEKE 1993: 94-101 - Robert K. Chun, Bradley J. Perry:
An Environment for the Control and Software Integration of Expert Systems. SEKE 1993: 499-506 - Daniel E. Cooke:
Software Automation. SEKE 1993: 70-72 - Daniel E. Cooke:
A High Level Programming Language Based Upon Ordered Multisets. SEKE 1993: 117-124 - Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey:
Rule-Based Programming for Real-Time Knowledge-Based Systems Development. SEKE 1993: 142-149
skipping 85 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-04-24 18:19 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