Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th SEKE 2002: Ischia, Italy
- Proceedings of the 14th international conference on Software engineering and knowledge engineering, SEKE 2002, Ischia, Italy, July 15-19, 2002. ACM 2002, ISBN 1-58113-556-4
Keynotes
- Lionel C. Briand:
On the many ways software engineering can benefit from knowledge engineering. 3-6 - Witold Pedrycz:
Computational intelligence as an emerging paradigm of software engineering. 7-14 - Xindong Wu:
Knowledge discovery in very large databases. 15 - Paul Dantzig:
Architecture and design of high volume web sites: (a brief history of IBM sport and event web sites). 17-24
Artificial intelligence approaches to software engineering
- Carlos Fernández-Conde, Pedro A. González-Calero:
Domain analysis of object-oriented frameworks in FrameDoc. 27-33 - Fábio Zlot, Káthia Marçal de Oliveira, Ana Regina Rocha:
Modeling task knowledge to support software development. 35-42 - Lionel C. Briand, Jie Feng, Yvan Labiche
:
Using genetic algorithms and coupling measures to devise optimal integration test orders. 43-50 - Anna Perini, Angelo Susi, Fausto Giunchiglia:
Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology. 51-54
Knowledge engineering tools and techniques
- Henrik Eriksson, Erik Berglund, Peter Nevalainen:
Using knowledge engineering support for a Java documentation viewer. 57-64 - Mounira Harzallah, Michel Leclère, Francky Trichet:
CommOnCV: modelling the competencies underlying a curriculum vitae. 65-71 - Mourad Oussalah:
Component-oriented KBS. 73-76 - Antonio Chella, Massimo Cossentino, Roberto Pirrone, Andrea Ruisi:
Modeling ontologies for robotic environments. 77-80
Knowledge representation and retrieval
- Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci:
The multilingual thesaurus of LAURIN. 83-90 - Yunmook Nah, Phillip C.-Y. Sheu:
Image content modeling for neuroscience databases. 91-98 - Offer Drori:
Algorithm for documents ranking: idea and simulation results. 99-102 - Almerindo Graziano, Stefano Russo, Vincenzo Vecchio, Paul Foster:
Metadata models for QoS-aware information management systems. 103-106
Soft computing
- Vincenzo Loia, Sabrina Senatore, Maria I. Sessa:
LearnMiner: deductive, tolerant agents for discovering didactic resources on the web. 109-115 - Luigi Di Lascio:
Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic. 117-124
Requirements engineering
- Bente Anda, Dag I. K. Sjøberg:
Towards an inspection technique for use case models. 127-134 - George Spanoudakis:
Plausible and adaptive requirement traceability structures. 135-142 - Egidio Astesiano, Gianna Reggio:
Knowledge structuring and representation in requirement specificaiton. 143-150 - Carmen Maidantchik, Mariano Montoni, Gleison Santos:
Learning organizational knowledge: an evolutionary proposal for requirements engineering. 151-157 - Günther Ruhe, Armin Eberlein, Dietmar Pfahl:
Quantitative WinWin: a new method for decision support in requirements negotiation. 159-166 - Ana M. D. Moreira, João Araújo, Isabel Sofia Brito:
Crosscutting quality attributes for requirements engineering. 167-174 - Lawrence Chung, Kendra M. L. Cooper:
A knowledge-based COTS-aware requirements engineering approach. 175-182 - Manuel Kolp, Paolo Giorgini, John Mylopoulos:
Information systems development through social structures. 183-190
Formal methods
- Dianxiang Xu, Richard A. Volz, Thomas R. Ioerger, John Yen:
Modeling and verifying multi-agent behaviors using predicate/transition nets. 193-200 - Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino:
Using extended positional grammars to develop visual modeling languages. 201-208 - Barrett R. Bryant, Carol C. Burt, Mikhail Auguston, Rajeev R. Raje, Andrew M. Olson:
Formal specification of generative component assembly using two-level grammar. 209-212 - Gabriela N. Aranda, Richard Moore:
A formal model for verifying compound design patterns. 213-214
Software domain modeling and meta-modeling
- Jean-Louis Sourrouille, Guy Caplat:
Constraint checking in UML modeling. 217-224 - K. Suzanne Barber, Jim Holt, Geoff Baker:
Performance evaluation of domain reference architectures. 225-232 - Xin Wang, Christine W. Chan, Howard J. Hamilton:
Design of knowledge-based systems with the ontology-domain-system approach. 233-236 - Angeles Manjarrés Riesco, Gerson Sunyé, Damien Pollet, Simon Pickin, Jean-Marc Jézéquel:
Al analysis patterns as UML meta-model constructs. 237-238
Software architectures
- Bradley R. Schmerl, David Garlan:
Exploiting architectural design knowledge to support self-repairing systems. 241-248 - Enrico Johansson, Martin Höst:
Tracking degradation in software product lines through measurement of design rule violations. 249-254 - Pietro Abate, Marco Bernardo:
A scalable approach to the design of SW architectures with dynamically create/destroyed components. 255-262 - Kimiyuki Fukuzawa, Motoshi Saeki:
Evaluating software architectures by coloured petrit nets. 263-270 - Xudong He, Junhua Ding, Yi Deng:
Model checking software architecture specifications in SAM. 271-278 - Vincenzo Ambriola, Alina Kmiecik:
Architectural transformations. 275-278
Object-oriented technology
- Fawzi Albalooshi:
A database representation that improves automation and maintains consistency in a mulitple view environment. 281-288 - Kim Mens, Tom Mens, Michel Wermelinger:
Maintaining software through intentional source-code views. 289-296
Component-based software engineering
- Nenad Medvidovic:
On the role of middleware in architecture-based software development. 299-306 - Stefania Bandini, Flavio De Paoli, Sara Manzoni, Paolo Mereghetti:
A support system to COTS-based software development for business services. 307-314 - Gianluca Moro, Antonio Natali:
On the event coordination in multi-component systems. 315-322 - Casey Best, Margaret-Anne D. Storey, Jeff Michaud:
Designing a component-based framework for visualization in software engineering and knowledge engineering. 323-322 - Gennaro Costagliola, Rita Francese, Michele Risi, Giuseppe Scanniello, Andrea De Lucia:
A component-based visual environment development process. 327-334 - Marco Torchiano, Letizia Jaccheri, Carl-Fredrik Sørensen, Alf Inge Wang:
COTS products characterization. 335-338
Software reuse
- Soe Myat Swe, Hongyu Zhang, Stan Jarzabek:
XVCL: a tutorial. 341-349 - Ricardo de Almeida Falbo, Giancarlo Guizzardi, Katia Cristina Duarte:
An ontological approach to domain engineering. 351-358
Validation and verification
- Giovanni Denaro, Sandro Morasca, Mauro Pezzè:
Deriving models of software fault-proneness. 361-368 - Nam Hee Lee, Tai Hyo Kim, Sung Deok Cha:
Construction of global finite state machine for testing task interactions written in message sequence charts. 369-376 - Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco:
Fixing the Java bytecode verifier by a suitable type domain. 377-382 - Antonella Santone, Gigliola Vaglini:
Local model checking of Java bytecode. 383-389
Measurement and empirical software engineering
- Claes Wohlin, Anneliese Amschler Andrews:
Analysing primary and lower order project success drivers. 393-400 - André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira:
Representing software usage models with stochastic automata networks. 401-407 - Andrea De Lucia, Eugenio Pompella, Silvio Stefanucci:
Effort estimation for corrective software maintenance. 409-416 - Sandro Morasca:
A proposal for using continuous attributes in classification trees. 417-424 - Magne Jørgensen, Kjetil Moløkken:
Combination of software development effort prediction intervals: why, when and how?. 425-428
Reverse engineering
- Brian S. Mitchell, Spiros Mancoridis, Martin Traverso:
Search based reverse engineering. 431-438 - Laila Paganelli, Fabio Paternò:
Automatic reconstruction of the underlying interaction design of web applications. 439-445 - Mohammad El-Ramly, Eleni Stroulia, Paul G. Sorenson:
Recovering software requirements from system-user interaction traces. 447-454
Software process modelling
- Josep M. Ribó Balust, Xavier Franch:
A precedence-based approach for proactive control in software process modelling. 457-468 - Ulrike Becker-Kornstaedt, Roman Reinert:
A concept to support process model maintenance through systematic experience capture. 465-468 - Alf Inge Wang:
A process centred environment for cooperative software engineering. 469-472 - William M. Tepfenhart, Daniela Rosca, Daniel Woolley:
A product focused, layered software development framework. 473-475 - Ricardo de Almeida Falbo, Giancarlo Guizzardi, Ana Cândida Cruz Natali, Gleidson Bertollo, Fabiano F. Ruy, Paula Gomes Mian:
Towards semantic software engineering environments. 477-478
Process and workflow management
- Lerina Aversano, Gerardo Canfora:
Introducing eservices in business process models. 481-488 - Andrea F. Abate, Antonio Esposito, Nicola Grieco, Giancarlo Nota:
Workflow performance evaluation through WPQL. 489-495 - Juan Carlos Augusto, Rodolfo Gómez:
A temporal logic view of paradigm models. 497-503
Computer-supported cooperative work
- Davide Balzarotti, Carlo Ghezzi, Mattia Monga:
Supporting configuration management for virtual workgroups ini a peer-to-peer setting. 507-511 - Engin Kirda, Pascal Fenkam, Gerald Reif, Harald C. Gall:
A service architecture for mobile teamwork. 513-518 - Franco Bagnoli, Fabio Franci, Andrea Sterbini:
WebTeach: an integrated web-based cooperative environment for distance teaching. 519-520 - Schahram Dustdar, Harald C. Gall:
Architectural concerns in distributed and mobile collaborative systems. 521-522
Education and training
- Timothy Arndt, Shi-Kuo Chang, Angela Guercio, Paolo Maresca:
An XML-based approch to multimedia software engineering for distance learning. 525-532 - Ines Grützner, Niniek Angkasaputra, Dietmar Pfahl:
A systematic approach to produce small courseware modules for combined learning and knowledge management environements. 533-539 - Genoveffa Tortora, Monica Sebillo, Giuliana Vitiello, Pietro D'Ambrosio:
A multilevel learning management system. 541-547 - Sergio F. Ochoa, Emilio G. Ormeño, José A. Pino:
Reusing courseware components. 549-556 - Huu Le Van, Andrea Trentini:
FAQshare: a frequently asked questions voting system as a collaboration and evaluation tool in teaching activities. 557-560
Human-computer interaction
- Gerardo Canfora, Luigi Cerulo:
A visual approach to define XML to FO transformations. 563-570 - Babak Khazaei, Emma Triffitt:
Applying cognitive dimensions to evaluate and improve the usability of Z formalism. 571-577 - Paolo Buono, Maria Francesca Costabile, Gerald Jaeschke, Matthias L. Hemmje:
Analysing data trough visualizations in a web-based trade fair system. 579-582 - Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini:
Assertions to better specify the amazon bug. 585-592 - Augusto Celentano, Ombretta Gaggi:
Schema modelling for automatic generation of multimedia presentations. 593-600 - Gennaro Costagliola, Sergio Di Martino, Filomena Ferrucci, Fabio Pittarello:
An approach for authoring 3D cultural heritage exhibitions on the web. 601-608 - Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Giacomo Piscitelli:
AnWeb: a system for automatic support to web application verification. 609-616
Web-based tools, systems and environments
- João M. B. Cavalcanti, Wamberto Weber Vasconcelos:
A logic-based approach for automatic synthesis and maintenance of web sites. 619-626 - Mario Cannataro, Alfredo Cuzzocrea, Andrea Pugliese:
XAHM: an adaptive hypermedia model based on XML. 627-634 - Jaroslav Gergic, Jan Kleindienst, Y. Despotopoulos, John Soldatos, George Patikis, A. Anagnostou, Lazaros Polymenakos:
An Approach to lightweight deployment of web services. 635-640 - Carlo Blundo, Stelvio Cimato:
SAWM: a tool for secure and authenticated web metering. 641-648 - Rainer Anzböck, Schahram Dustdar, Harald C. Gall:
Software configuration, distribution, and deployment of web-services. 649-656
System applications and experience
- Roberto Canonico, Maurizio D'Arienzo, B. Fadini, Simon Pietro Romano, Giorgio Ventre:
On the introduction of quality of service awareness in legacy ditributed applications. 659-664 - Salvatore D'Antonio, B. Fadini, Simon Pietro Romano, Giorgio Ventre:
Designing service negotiation entities for the electronic market-place. 665-672 - Paolo Donzelli, Roberto Setola:
Handling the knowledge acquired during the requirements engineering process: a case study. 673-679 - Giuseppe Polese, Massimiliano Troiano, Genoveffa Tortora:
A data mining based system supporting tactical decisions. 681-684 - Daniela Micucci:
Exploiting the kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor. 685-688
Industrial applications
- Gerardo Canfora, Luigi Troiano:
The importance of dealing with uncertainty in the evaluation of software engineering methods and tools. 691-698 - Antonio Fresa, G. Nucera, E. Peciola, Giuseppe Santucci:
Assessment of software architectures: a case study. 699-706 - Aura Conci, Claudia Belmiro Proença:
A system for real-time fabric inspection and industrial decision. 707-714 - Ivan Bruno, Andrea Giotti, Massimo Monsignori, Paolo Nesi:
A distributed industrial application for quality control of clinched boards based on computer vision. 715-718
Workshop on web engineering
- Athula Ginige:
Web engineering: managing the complexity of web systems development. 721-729 - Yogesh Deshpande, Anupama Chandrarathna, Athula Ginige:
Web site auditing: first step towards re-engineering. 731-737 - Diego Bonura, Rosario Culmone, Emanuela Merelli:
Patterns for web applications. 739-746 - Steve Hansen:
Web information systems: the changing landscape of management models and web applications. 747-753 - Gary Griffiths, Barry D. Hebbron, Mike A. Lockyer, Briony J. Oates:
A simple method & tool for web engineering. 755-762
Workshop on software engineering decision support: components
- Stuart M. Charters, Claire Knight, Nigel Thomas, Malcolm Munro:
Visualisation for informed decision making; from code to components. 765-772 - Sathit Nakkrasae, Peraphon Sophatsathit:
A formal approach for specification and classification of software components. 773-780 - Adolfo Lozano Tello, Asunción Gómez-Pérez:
BAREMO: how to choose the appropriate software component using the analytic hierarchy process. 781-788 - Carina Frota Alves, Anthony Finkelstein:
Challenges in COTS decision-making: a goal-driven requirements engineering perspective. 789-794
Workshop on software engineering decision support: processes
- Carla Alessandra Lima Reis, Rodrigo Quites Reis, Heribert Schlebbe, Daltro José Nunes:
A policy-based resource instantiation mechanism to automate software process management. 795-802 - David Raffo, Warren Harrison, Joseph Vandeville:
Software process decision support: making process tradeoffs using a hybrid metrics, modeling and utility framework. 803-809
Workshop on software engineering decision support: methodology
- Maurizio Morisio, Ioannis Stamelos, Alexis Tsoukiàs:
A new method to evaluate software artifacts against predefined profiles. 811-818 - Mikael Svahnberg, Claes Wohlin, Lars Lundberg, Michael Mattsson:
A method for understanding quality attributes in software architecture structures. 819-826 - Ioana Rus, Stefan Biffl, Michael Halling:
Systematically combining process simulation and empirical data in support of decision analysis in software development. 827-833 - Daniel Karlström, Per Runeson:
Decision support for extreme programming introduction and practice selection. 835-841
a service of 
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.
last updated on 2024-04-30 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
