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 44 matches
- 1996
- Byung Kwon Ahn, Seung-Min Yang, Joong-Sup Choi, Moon-hae Kim:
Real-Time System Design Tools for RTO.e (Real-Time Object.extended). APSEC 1996: 376-383 - Dao Nam Anh, Richard Moore:
Formal Modeling of Large Domains. APSEC 1996: 246- - Jeongwon Baeg, Yoshiaki Fukazawa:
A Dialog-Oriented User Interface Generation Mechanism. APSEC 1996: 310-317 - N. V. Balasubramanian:
Object-Oriented Metrics. APSEC 1996: 30-34 - Heung Seok Chae, Yong Rae Kwon:
Assessing and Restructuring of Classes Based on Cohesion. APSEC 1996: 76-82 - Tsong Yueh Chen, Pak-Lok Poon:
Improving the Quality of Classification Trees via Restructuring. APSEC 1996: 83-92 - Seung Mo Cho, Hyoung Seok Hong, Sung Deok Cha:
Safety Analysis Using Coloured Petri Nets. APSEC 1996: 176-193 - Kiwon Chong:
Industrial Application of Object-Oriented Technology. APSEC 1996: 150-151 - Kam-Pui Chow, Tak Wah Tak Wah, Ka Hing Lee:
The Telephone Directory Enquiry System of Hong Kong. APSEC 1996: 268- - Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo:
Software Testing and Metrics for Concurrent Computation. APSEC 1996: 336-344 - Takeshi Chusho, Yuji Konishi, Masao Yoshioka:
M-base : An Application Development Environment for End-user Computing based on Message Flow. APSEC 1996: 366-375 - Cleveland Augustine Gibbon, Colin A. Higgins:
Towards a Learner-Centred Approach to Teaching Object-Oriented Design. APSEC 1996: 110- - Alena Griffiths:
An Extended Semantic Foundation For Object-Z. APSEC 1996: 194- - Issam A. Hamid:
A dynamic Extension for the Specification of Distributed Systems. APSEC 1996: 256-267 - Noriko Hanakawa, Hajimu Iida, Ken-ichi Matsumoto, Koji Torii:
A Framework of Generating Software Process Including Milestones for Object-Oriented Development Method. APSEC 1996: 120-130 - Tracey Hart, Fiona Linn, Roberto Morello, Greg Royle, Peter Kearney, Peter A. Lindsay, Kelvin J. Ross, Owen Traynor:
Formal Methods Pilot Project. APSEC 1996: 238-245 - William E. Howden:
Keynote Address: Auditing Informal Software Testing and Analysis Processes. APSEC 1996: 332- - William E. Howden, Suehee Pak:
The Derivation of Functional Specifications from Source Code. APSEC 1996: 166- - Dang Van Hung, Ko Kwang Il:
Verification via Digitized Models of Real-Time Hybrid Systems. APSEC 1996: 4-15 - Hajimu Iida, Jun Eijima, Satushi Yabe, Ken-ichi Matsumoto, Koji Torii:
Simulation Model of Overlapping Development Process Based on Progress of Activities. APSEC 1996: 131-138 - Masao Ito, Koichi Kishida:
Resonance Interface: Proposal of a Framework for Design Environment. APSEC 1996: 302-309 - Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima:
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. APSEC 1996: 345-354 - Stan Jarzabek:
Common Sense Reuse. APSEC 1996: 330-331 - Kyo Chul Kang, Kwang-Il Ko:
Formalization and Verification of Safety Properties of Statechart Specifications. APSEC 1996: 16- - Kazuhiko Kashiwagi, Keizo Saisho, Akira Fukuda:
Design and Implementation of Dynamically Reconstructing System Software. APSEC 1996: 278-287 - Takuya Katayama:
Principles of Software Evolution. APSEC 1996: 152- - Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima:
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. APSEC 1996: 355- - Taik-Ho Kim:
The Need For New Software Technology: Have We Overcome the Software Crisis? APSEC 1996: 2- - Do-Hyoung Kim, Kiwon Chong:
A Method of Checking Errors and Consistency in the Process of Object-Oriented Analysis. APSEC 1996: 208-216 - Heechern Kim, Chisu Wu:
A Class Testing Technique Based on Data Bindings. APSEC 1996: 104-109
skipping 14 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-09-28 19:08 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