The SCEAS System
Navigation Menu

Conferences in DBLP

Software Engineering and Knowledge Engineering (SEKE) (seke)
1993 (conf/seke/1993)

  1. Atsuo Yoshitaka, Masahito Hirakawa, Tadao Ichikawa
    A Framework for Query Processing Utilizing Knowledge. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:1-10 [Conf]
  2. Qianhong Liu, Jason Tsong-Li Wang, Peter A. Ng
    An OI5ce Document Retrieval System with the Capability of Processing Incomplete and Vague Queries. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:11-17 [Conf]
  3. Ralph D. Semmel
    Knowledge Representation for Intelligent Query Processing. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:18-27 [Conf]
  4. Tak-Wai Chan, Wen-Chong Wang
    DARET: A Logic-Based Language in Object-Oriented Databases. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:28-35 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:36-45 [Conf]
  6. Yi Deng, Raimund K. Ege, Wei Sun
    Executable Specifications for the Design of Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:46-53 [Conf]
  7. Toshimi Minoura, Sungwoon Choi, Anil Srivastava
    The SAOS Approach to Software Lifecycle Support. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:54-61 [Conf]
  8. Vincenzo Loia, Michel Quaggetto
    CLOS: A Key Issue To Bridge the Gap Between Object-Oriented and Logic Programming. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:62-69 [Conf]
  9. Daniel E. Cooke
    Software Automation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:70-72 [Conf]
  10. Nikoloas G. Bourbakis, D. Rice
    An Expert Tool For Automatic Visual VLSI Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:73-77 [Conf]
  11. Antonio Massari, Gennaro Costagliola, Panos K. Chrysanthis, Shi-Kuo Chang
    Programs as Databases: Treating Code and Comments as First Class Objects. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:78-85 [Conf]
  12. Don McFall, Gillian Sleith, John Hughes
    Reverse Engineering Structured Code to an Object-Oriented Representation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:86-93 [Conf]
  13. William C. Chu, Sukesh Patel
    A Re-cnginacring Tool for the Reuse of Large Scale Software Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:94-101 [Conf]
  14. Alfs T. Berztiss
    Catastrophe Prevention in Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:102-108 [Conf]
  15. Brigitte Biebow, Sylvie Szulman
    Acquisition, Analysis and Validation of Informal Requirements. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:109-116 [Conf]
  16. Daniel E. Cooke
    A High Level Programming Language Based Upon Ordered Multisets. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:117-124 [Conf]
  17. Perry Alexander
    BENTON: A Multi-Agent System for Larch Specification Generation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:125-133 [Conf]
  18. Michel Dojat, Claudette Sayettat
    Temporal Reasoning in a Medical Expertise. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:134-141 [Conf]
  19. Frank P. Coyle, Murat M. Tanik, Dennis J. Frailey
    Rule-Based Programming for Real-Time Knowledge-Based Systems Development. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:142-149 [Conf]
  20. Robert G. Reynolds, Jonathan I. Maletic
    The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:150-157 [Conf]
  21. Michael DeBellis
    Intelligent Assistance for Transformation-Based Environments. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:158-165 [Conf]
  22. Eugeniusz Eberbach
    The Design and Specification of SEMAL - A Cost Language Based on the Calculus of Self-Modifiable Algorithms. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:166-173 [Conf]
  23. Mari Georges
    Closing the Knowledge Engineering Gap. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:174-182 [Conf]
  24. Grigoris Antoniou
    Engineering Issues for No monotonic Knowledge: Structuring, Specification, Modules. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:183-190 [Conf]
  25. Trent Jaeger, Atul Prakash
    BIZSPEC: A Business-Oriented Model for Specification and Analysis of Office Information Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:191-198 [Conf]
  26. Cui Zhang, Qinping Zhao, Jiafu Xu
    A Knowledge Processing Language and Its Parallel Inference System. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:199-206 [Conf]
  27. Wen-Ran Zhang, Mei-Ying Cheng
    Virtual Agents and Virtual Communities: An Agent-Oriented Software and Knowledge Engineering Paradigm for Distributed Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:207-214 [Conf]
  28. Aizhong Li, Xuhua Liu
    A Computational Theory of Knowledge Discovery and Revision. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:215-218 [Conf]
  29. Atsushi Ohnishi
    Visual Software Requirements Specification Language: VRDL. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:219-221 [Conf]
  30. Enrico Maim
    Restricted Abduction in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:222-224 [Conf]
  31. Salah Badr, Luqi
    A Version and Configuration Model for Software Evolution. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:225-227 [Conf]
  32. Regine Laleau, Philippe Facon
    Modeling Semantic Data Concepts with VDM. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:228-230 [Conf]
  33. Seiichi Komiya, Motoshi Saeki, Shinichi Honiden, Junzou Kato, Akira Ohmori, Hisayuki Horai, Shigeru Ohtsuki, Kazuhito Ohmaki
    An Experimental Analysis for Classifying Specification Processes. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:231-234 [Conf]
  34. Chau-Young Lin, Chih-Cheng Chien, Cheng-Seen Ho
    A Generic Shell-Specialized Knowledge Acquisition Tool for Developing Network Management Software. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:235-238 [Conf]
  35. Dongwook Shin, Youngmin Chung, Hyunsoo Yoon
    Mode Based Type Inference for Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:239-243 [Conf]
  36. Albert Mo Kim Cheng
    A New Complexity Metric for OPS5 Rule-Based Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:244-247 [Conf]
  37. Chye-Lin Chee, Sevki S. Erdogan, Chon-Keat Wong
    VCFS: A File System for Transparent Version Control. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:248-251 [Conf]
  38. Sen-Tarng Lai, Chien-Chiao Yang
    Multi-Layer Repertory Grid Classification for Increasing Software Reusability. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:252-254 [Conf]
  39. Lianhui Chen, Paul Voumard
    Knowledge Engineering in Fault Diagnostic Problem Solving. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:255-257 [Conf]
  40. Jeffrey S. Poulin
    Issues in the Development and Application of Reuse Metrics in a Corporate Environment. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:258-262 [Conf]
  41. Massimo Bombana, Giacomo Buonanno, Patrizia Cavalloro, Fabrizio Ferrandi, Donatella Sciuto, Giuseppe Zaza
    An Expert Solution to Functional Testability Analysis of VLSI Circuits. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:263-265 [Conf]
  42. T. Richard MacMillan, Martha L. Farinacci, Sharon J. Laskowski, Elaine P. Lusher, Leonard J. Seligman
    A Common Architecture To Encourage Reuse Of Natural Language/Text Processing Tools. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:266-270 [Conf]
  43. Gary D. Boetticher, K. Srinivas, David Eichmann
    A Neural Net-Based Approach to Software Metrics. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:271-274 [Conf]
  44. Claire P. Willis, Derek J. Paddon
    Machine Learning for Program Transformations in Software Reuse. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:275-277 [Conf]
  45. Israel Hilerio, Roger Lippert, Murat M. Tanik
    Hyperknowledge Engineering: The Next Generation of Intelligent Hypertext Documents. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:278-281 [Conf]
  46. Natalia Juristo Juzgado
    Application of Testing Techniques in Conventional Software to Knowledge-Based Software. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:282-284 [Conf]
  47. Michael Weis
    Object-Oriented Design of a Distributed Blackboard Kernel. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:285-287 [Conf]
  48. Sang C. Suh, Clenio F. Salviano, Murat M. Tanik
    INTEK: A Software Tool for an Intermediate Knowledge Representation Formalism. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:288-290 [Conf]
  49. Sumio Mochizuki, Akira Yamauchi, Takuya Katayama
    Two Models for Describing Software Design Process: Object-Centered Model and Phase-Centered Model. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:291-295 [Conf]
  50. Kari Kaarela, Ari Okkonen
    Executable Graphic Specifications in Automation Projects. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:296-300 [Conf]
  51. Javed I. Khan, Isao Miyamoto
    Formalism for Hierarchical Organization and Flexible Abstraction of Program Knowledge. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:301-303 [Conf]
  52. Fiora Pirri, Clara Pizzuti
    Using Datalog as a Language for Data Dictionary Design: A Deductive Support. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:304-308 [Conf]
  53. H. Bachatène, Michel Coriat, Amal El Fallah-Seghrouchni
    Using Software Engineering Principles to Design Intelligent Cooperative Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:309-313 [Conf]
  54. Fabio Paternò
    Definition of Properties of User Interfaces Using Action-Based Temporal Logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:314-318 [Conf]
  55. Floriana Esposito, Donato Malerba, Giovanni Semeraro
    Machine Learning Techniques for Knowledge Acquisition and Refinement. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:319-323 [Conf]
  56. Ping Hung Karl R. Leung, Haizhou Li
    Structured Specifications, Semantics, and System Semantics. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:324-326 [Conf]
  57. Zenya Koono, Behrouz H. Far, Takeshi Baba, Yasukiyo Yamasaki, Mari Ohmori, Ken-Ichiroh Hatae
    Software Creation: Towards Automatic Software Design By Simulating Human Designers. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:327-331 [Conf]
  58. Zenya Koono, Behrouz H. Far, Takeshi Takizawa, Mari Ohmori, Ken-Ichiroh Hatae, Takeshi Baba
    Software Creation: Implementation and Application of Design Process Knowledge in Automatic Software Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:332-336 [Conf]
  59. Michalis Vazirgiannis, K. Petrou, A. Tsobanidis, Michael Hatzopoulos
    Hypermedia and Knowledge Representation: An Object-Oriented Design Based on Fuzzy Logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:337-342 [Conf]
  60. Sudin Bha, Kanth Miriyala
    Operations for Evolving Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:343-345 [Conf]
  61. Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg
    TAP: A New Model for Software Process: Tasks-Agents-Products. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:346-350 [Conf]
  62. Motoshi Saeki, Kazuhisa Iguchi, Masanori Shinohara
    Supporting Tool for Cooperative Specification Processes. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:351-354 [Conf]
  63. François Staes, Laura Tarantino, Dirk Venneir
    Rapid Prototyping of User Interfaces in the KIWIS System. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:355-359 [Conf]
  64. Paul Singleton, Pearl Brereton
    A Case for Declarative Programming-in-the-Large. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:360-362 [Conf]
  65. Noriaki Yoshiura, Naoki Yonezaki
    More Expressive Temporal Logic for Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:363-366 [Conf]
  66. Hans Voß, Angi Voß
    Reuse-Oriented Knowledge Engineering with MoMo. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:367-371 [Conf]
  67. Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair
    Debugging Logic-Based Requirements Specifications - a FRORL Approach. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:372-379 [Conf]
  68. Wei-Tek Tsai, Weiwen Xie, Imran A. Zualkernan, Satish K. Musukula
    A Framework for Systematic Testing of Software Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:380-387 [Conf]
  69. Ruddy Lelouche, Laurence Vignollet
    Using the Inference Engine Strategy in the Automatic Construction of Test Cases for a Knowledge-Based System. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:388-395 [Conf]
  70. Du Zhang
    Perspectives in Knowledge Base Verification. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:396-405 [Conf]
  71. W. David Hurley, Niels Vejrup Carlsen
    Towards a Formalized Context for Designing User Interface Management Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:406-413 [Conf]
  72. Alex Quilici, Lawrence Miller
    An Intelligent Environment for Spacecraft Simulation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:414-420 [Conf]
  73. Andrea De Lucia, Margherita Napoli, Genny Tortora, Maurizio Tucci
    The Tool Development Language TDL for the Software Development Environment WSDW. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:421-428 [Conf]
  74. Jason Tsong-Li Wang, Fortune S. Mhlanga, Qianhong Liu, Wen-Chung Shang, Peter A. Ng
    An Intelligent Documentation Support Environment. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:429-436 [Conf]
  75. 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. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:437-444 [Conf]
  76. Todd R. Kushner, Deborah S. Eisenberg
    Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:445-452 [Conf]
  77. Adam A. Porter
    Developing and Analyzing Classification Rules for Predicting Faulty Software Components. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:453-461 [Conf]
  78. Christian Stary, Rudolf Freund
    How Semantical Design Languages Help to Preserve Specification/Design-Consistency. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:462-471 [Conf]
  79. David Eichmann
    Knowledge Engineering in Concurrent Engineering and Experience Factories. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:472- [Conf]
  80. Bruce I. Blum, Victor R. Basili, S. K. Chang, Michael Evangelist, C. V. Ramamoorthy, Raymond T. Yeh
    Software Engineering in the Year 2000. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:473- [Conf]
  81. Thomas Pirlein
    Reusing a Large Domain-Independent Knowledge Base. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:474-482 [Conf]
  82. Sanjay Bhansali
    Architecture-driven Reuse of Code in KASE. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:483-490 [Conf]
  83. Mehdi T. Harandi, Hing-Yan Lee
    Acquiring Design Schemas for Software Reuse. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:491-498 [Conf]
  84. Robert K. Chun, Bradley J. Perry
    An Environment for the Control and Software Integration of Expert Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:499-506 [Conf]
  85. Gerardo Canfora, Aniello Cimitile, Ugo de Carlini, Lucio Sansone
    Reverse Engineering and Interactive Animation of Ada Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:507-516 [Conf]
  86. Sandrine Blazy, Philippe Facon
    Partial Evaluation for the Understanding of FORTRAN Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:517-525 [Conf]
  87. Alireza Azem, Fevzi Belli, Oliver Jack
    Implementation-Oriented Testing and Reliability Determination of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:526-533 [Conf]
  88. Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio
    Recovering Conceptual Data Models is Human-Intensive. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:534-543 [Conf]
  89. Frank W. Calliss, Joseph Urban, James H. Cross II, Vaclav Rajlich
    Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:544-545 [Conf]
  90. Martine Magnan, Chabane Oussalah
    Object Evolution. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:546-553 [Conf]
  91. Guy W. Mineau, Robert Godin, Rokia Missaoui
    Induction of Generic Data Models by Conceptual Clustering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:554-564 [Conf]
  92. Markku Oivo
    Multiview Modeling in Software Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:565-574 [Conf]
  93. Martin S. Feather
    Cardinality Evolution in Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:575-583 [Conf]
  94. Michael Evangelist
    Intermediate Executable Architectural Specifications for KBSA, Part I. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:584- [Conf]
  95. Michael DeBellis
    The KBSA ADM Process Model. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:585- [Conf]
  96. Yi Deng
    Intermediate Executable Architectural Specifications for KBSA, Part II. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:586- [Conf]
  97. Walt Scacchi
    Process Integration for KBSE Environments. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:587- [Conf]
  98. Douglas A. White
    The Knowledge-Based Software Assistant Program. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:588- [Conf]
  99. Kristian Sandahl
    Developing Knowledge-Based Systems with Active Expert Participation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:589-595 [Conf]
  100. Odd Ivar Lindland, Geir Willumsen, Jon Atle Gulla, Arne Sølvberg
    Prototyping in Transformation-Based CASE Environments. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:596-603 [Conf]
  101. David A. Dampier, Luqi, Valdis Berzins
    Automated Merging of Software Prototypes. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:604-611 [Conf]
  102. Chen Chen, Elizabeth L. White, James M. Purtilo
    A Packager for Multicast Software in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:612-621 [Conf]
  103. Hubert F. Hofmann, Rolf Pfeifer, Erik Vinkhuyzen
    Situated Software Design. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:622-628 [Conf]
  104. Toomas Timpka, James M. Nyce, Cecilia Sjöberg, Mikael Johansson
    Action Design: From Modeling To Support of the Software Process. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:629-636 [Conf]
  105. David W. Russell
    ISESS '93 A Reality Check. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:637-640 [Conf]
  106. Raymond A. Paul
    Software Maturity Measurement for Software Risk Management. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:641-648 [Conf]
  107. Chunye Li, Setsuo Ohsuga
    A Meta Knowledge Structure for Program Development Support. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:649-656 [Conf]
  108. Willem Jonker, Bob Goedhart
    KBS Development: From Design Models to Implementations. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:657-664 [Conf]
  109. William C. Sasso, Michael DeBellis
    Plan-Based Guidance for Knowledge-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:665-672 [Conf]
  110. Charles R. Kirklen, Murat M. Tanik
    Software Engineering Disciplines in the Visual Era. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:673-680 [Conf]
  111. Michael R. Laux, Robert H. Bourdeau, Betty H. C. Cheng
    An Integrated Development Environment for Formal Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:681-688 [Conf]
  112. Jianxin Li
    Transforming Postconditions To Aid Program Development. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:689-694 [Conf]
  113. Shiyuan Ding, Takuya Katayama
    Attributed State Machines For Behavior Specification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:695-702 [Conf]
  114. Yamine Aït Ameur
    Formal Program Development by Transformation and Non-Functional Properties Evaluations. An Application to Numerical Programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:703-710 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002