The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. S. K. Chang
    Visual Communications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:1- [Conf]
  2. Hany M. Atchan, Gordon C. Everest
    An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:2-9 [Conf]
  3. Peter Holm
    The COMMODIOUS method - COMmunication MODelling as an aid to Illustrate the Organisational Use of Software. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:10-19 [Conf]
  4. Marite Kirikova, Janis A. Bubenko Jr.
    Software requirements acquisition through enterprise modelling. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:20-27 [Conf]
  5. Colette Rolland
    A contextual approach for the requirements engineering process. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:28-35 [Conf]
  6. Salwa K. Abd-El-Hafiz, Victor R. Basili
    A tool for assisting the understanding and formal development of software. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:36-45 [Conf]
  7. Salah Badr, Luqi
    Automation support for concurrent software engineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:46-53 [Conf]
  8. Janis Barzdins, Audris Kalnins, Karlis Podnieks, Ilona Etmane, Andrejs J. Auzins, A. Kalis, P. Krastins, S. Rozenfelds
    GRADE Windows: an integrated CASE tool for information system development. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:54-61 [Conf]
  9. Pearl Brereton, Paul Singleton
    A deductive infrastructure for exploratory software evolution. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:62-69 [Conf]
  10. Betty H. C. Cheng, Robert H. Bourdeau, Gerald C. Gannod
    The object-oriented development of a distributed multimedia environmental information system. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:70-77 [Conf]
  11. Dieter Landes
    DesignKARL - A language for the design of knowledge-based systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:78-85 [Conf]
  12. Sooyong Park, James D. Palmer
    Automated support to system modeling from informal software requirements. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:86-93 [Conf]
  13. Henrikas Pranevitchius, Vytautas Pilkauskas
    Tools for validation and simulation of Estelle/Ag specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:94-99 [Conf]
  14. L. Ben Arfa, Marc Frappier, Rym Mili, Ali Mili, Douglas R. Skuce
    A process for verification based inspections. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:100-107 [Conf]
  15. Mikhail Auguston
    A language for debugging automation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:108-115 [Conf]
  16. Hong Zhu, Patrick A. V. Hall, John H. R. May
    Knowledge engineering helps testing protection software. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:116-123 [Conf]
  17. Aida Pliuskeviciene
    Specialization of derivations in Hoare-like logic with recursive procedures. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:124-130 [Conf]
  18. Perry Alexander
    Combining transformational and derivational analogy in Larch specification generation. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:131-138 [Conf]
  19. Luca Durante, Riccardo Sisto, Adriano Valenzano
    A LOTOS specification of the SERCOS field-bus protocol. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:139-147 [Conf]
  20. Ken Jackson, Albert Llamosi, Ramón Puigjaner
    Towards automatic building of performance models: Formal specification of performance constraints. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:148-155 [Conf]
  21. Shin Miyakawa, Naoki Yonezaki
    Temporal logic extended with object creation and destruction. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:156-163 [Conf]
  22. Alain Abran, Jean-Marc Desharnais, Dirk Meyerhoff, Monika Müllerburg, D. St-Pierre
    Structured hypertext for using and learning function point analysis. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:164-171 [Conf]
  23. Philip A. Hausler, Richard C. Linger
    From software craft to software engineering: the Cleanroom method. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:172-179 [Conf]
  24. Nadine Meskens
    A knowledge-based system for software quality analysis. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:180-187 [Conf]
  25. Robert G. Reynolds, Elena Zannoni
    Learning to understand software from examples using cultural algorithms. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:188-192 [Conf]
  26. W. David Hurley
    Deducing structure in systems with separable user interfaces. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:193-200 [Conf]
  27. Audris Kalnins
    Extensions of GRAPES/4GL for Windows style input/output. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:201-208 [Conf]
  28. Jussi Koskinen, Jukka Paakki, Airi Salminen
    Program text as hypertext: using program dependences for transient linking. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:209-216 [Conf]
  29. Mary Zajicek, Ken W. Brownsley
    Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:217-224 [Conf]
  30. Valdis Berzins
    Software merge: models and properties. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:225-232 [Conf]
  31. Gerardo Canfora, Giuseppe A. Di Lucca, Maria Tortorella
    Recovering object classes and inheritance relationships from existing code. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:233-240 [Conf]
  32. Thomas Cheatham, Amr F. Fahmy, Dan C. Stefanescu
    Supporting multiple evolving compilers. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:241-248 [Conf]
  33. Stan Jarzabek, Wie-Ming Lim
    Modeling in strategic reengineering. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:249-256 [Conf]
  34. Jorge C. A. de Figueiredo, Angelo Perkusich, S. K. Chang
    Timing analysis of real-time software systems using fuzzy time Petri nets. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:257-266 [Conf]
  35. Regimantas Pliuskevicius
    Saturated deductive systems for temporal specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:267-273 [Conf]
  36. Jurate Sakalauskaite
    A complete sequent calculus for a first order branching temporal logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:274-280 [Conf]
  37. Osvaldo Cairó, Silvia Guardati, Tomhs Boom
    A formal methodology for acquiring and representing knowledge from multiple experts. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:281-288 [Conf]
  38. Daniel E. Cooke, Richard Duran, Ann Q. Gates, Vladik Kreinovich
    Bag languages, concurrency, Horn logic programs, and linear logic. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:289-297 [Conf]
  39. Veronique Farrell, Dave Riches, Stewart Tansley
    Giving KBS an OO! - object-oriented techniques and KADS. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:298-305 [Conf]
  40. Sha Guo, Wei Sun, Naphtali Rishe, Yi Deng
    Semantic query optimization by class reference reduction in object- oriented databases. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:306-313 [Conf]
  41. John Krogstie, Guttorm Sindre
    Extending a temporal rule language with deontic operators. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:314-321 [Conf]
  42. François Pachet, Jean-François Perrot
    Rule firing with metarules. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:322-329 [Conf]
  43. Juris Reinfelds, Karlis Kaugars
    Visualization and transformation of SGML knowledge representation structures. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:330-335 [Conf]
  44. Naphtali Rishe, Wei Sun
    A pipeline CASE tool for database design. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:336-343 [Conf]
  45. ShengLi Shi, M. Elizabeth C. Hull, David A. Bell
    Belief: updating vs. combining. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:344-351 [Conf]
  46. Jan Vanthienen, Geert Wets
    Managing decision table knowledge in a relational database environment. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:352-357 [Conf]
  47. A. Inkeri Verkamo
    Cooperation of KBS development environments and CASE environments. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:358-365 [Conf]
  48. Mette Vestli, Inge Nordbø, Arne Sølvberg
    Developing well-structured knowledge-based systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:366-373 [Conf]
  49. John van den Elst, Frank van Harmelen, Guus Schreiber, Monique Thonnat
    A functional specification of reusing software components. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:374-381 [Conf]
  50. M. Ramachandran
    Knowledge based support for reuse. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:382-386 [Conf]
  51. George Spanoudakis, Panos Constantopoulos
    Measuring similarity between software artifacts. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:387-394 [Conf]
  52. Hideaki Suzuki, Naohisa Takahashi
    Associative program retrieval using partially-ordered behavioral abstractions of a program. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:395-404 [Conf]
  53. Fabio Abbattista, Filippo Lanubile, Giuseppe Visaggio
    Open architecture for a process-centered development environment. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:405-413 [Conf]
  54. Timothy Arndt, Angela Guercio, Giuliano Pacini, Genny Tortora
    Symbolic execution of logic programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:414-421 [Conf]
  55. Alireza Azem, Fevzi Belli
    Reliability determination of Prolog programs. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:422-429 [Conf]
  56. Fevzi Belli, Oliver Jack
    A test environment for Prolog. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:430-437 [Conf]
  57. H. Lewis Chau, K. Gary Chan
    A visual logic specification of flexible manufacturing systems. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:438-445 [Conf]
  58. Yigang Chen, Yutaka Usuda
    Design and implementation of a knowledge based BPA/BPR tool: EUOBFE. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:446-453 [Conf]
  59. Steve C. Y. Chiang, Jason Tsong-Li Wang, Michael P. Bieber, Peter A. Ng
    DocFlow: an event-driven visual programming environment for office automation through document processing. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:454-461 [Conf]
  60. Andrea De Lucia, C. Di Cristo, Genny Tortora, Maurizio Tucci
    Program parallelization in WSDW. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:462-469 [Conf]
  61. Barbara Dunin-Keplicz, Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj
    CAProDel: a system for computer aided program development. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:470-477 [Conf]
  62. M. R. Girardi, Bertrand Ibrahim
    A similarity measure for retrieving software artifacts. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:478-485 [Conf]
  63. Janusz Jablonowski, Ewa Madalinska-Bugaj
    Procedure handling in computer aided program development. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:486-492 [Conf]
  64. Bernd J. Krämer
    Rule-enhanced Petri nets for software process modeling. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:493-500 [Conf]
  65. Luqi, Joseph A. Goguen
    Suggestions for progress in software analysis, synthesis and certification. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:501-507 [Conf]
  66. Edmundo Tovar
    Applicability of McCabe's complexity metric to knowledge engineering products. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:508-515 [Conf]
  67. Claire P. Willis, Derek J. Paddon
    Specification reuse for safety-critical software. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:516-523 [Conf]
  68. Phillip C.-Y. Sheu, Song Bong Yoo
    A deductive program transformation system. [Citation Graph (0, 0)][DBLP]
    SEKE, 1994, pp:524-531 [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