BibSLEIGH — Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering

Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2002.

KER

@proceedings{SEKE-2002,
	address       = "Ischia, Italy",
	doi           = "10.1145/568760",
	isbn          = "1-58113-556-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering}",
	year          = 2002,
}

Contents (115 items)

SEKE-2002-Briand #information management #on the #re-engineering: On the many ways software engineering can benefit from knowledge engineering (LCB), pp. 3–6.
SEKE-2002-Pedrycz #paradigm #re-engineering: Computational intelligence as an emerging paradigm of software engineering (WP), pp. 7–14.
SEKE-2002-Wu #database #information management #scalability: Knowledge discovery in very large databases (XW), p. 15.
SEKE-2002-Dantzig #architecture #design #web: Architecture and design of high volume web sites: (a brief history of IBM sport and event web sites) (PD), pp. 17–24.
SEKE-2002-Fernandez-CondeG #analysis #framework #object-oriented: Domain analysis of object-oriented frameworks in FrameDoc (CFC, PAGC), pp. 27–33.
SEKE-2002-ZlotOR #development #modelling: Modeling task knowledge to support software development (FZ, KMdO, ARR), pp. 35–42.
SEKE-2002-BriandFL #algorithm #integration #metric #order #search-based #using: Using genetic algorithms and coupling measures to devise optimal integration test orders (LCB, JF, YL), pp. 43–50.
SEKE-2002-PeriniSG #architecture #coordination #multi #requirements #specification: Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology (AP, AS, FG), pp. 51–54.
SEKE-2002-ErikssonBN #documentation #information management #java #using: Using knowledge engineering support for a Java documentation viewer (HE, EB, PN), pp. 57–64.
SEKE-2002-HarzallahLT #education #modelling #named: CommOnCV: modelling the competencies underlying a curriculum vitae (MH, ML, FT), pp. 65–71.
SEKE-2002-Oussalah #component: Component-oriented KBS (MO), pp. 73–76.
SEKE-2002-ChellaCPR #modelling #ontology: Modeling ontologies for robotic environments (AC, MC, RP, AR), pp. 77–80.
SEKE-2002-CalvaneseCLS #multi: The multilingual thesaurus of LAURIN (DC, TC, ML, GS), pp. 83–90.
SEKE-2002-NahS #database #image #modelling: Image content modeling for neuroscience databases (YN, PCYS), pp. 91–98.
SEKE-2002-Drori #algorithm #documentation #idea #ranking #simulation: Algorithm for documents ranking: idea and simulation results (OD), pp. 99–102.
SEKE-2002-GrazianoRVF #information management #metadata #modelling: Metadata models for QoS-aware information management systems (AG, SR, VV, PF), pp. 103–106.
SEKE-2002-LoiaSS #deduction #named #web: LearnMiner: deductive, tolerant agents for discovering didactic resources on the web (VL, SS, MIS), pp. 109–115.
SEKE-2002-Lascio #fuzzy #logic: Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic (LDL), pp. 117–124.
SEKE-2002-AndaS #case study #modelling #towards: Towards an inspection technique for use case models (BA, DIKS), pp. 127–134.
SEKE-2002-Spanoudakis #adaptation #traceability: Plausible and adaptive requirement traceability structures (GS), pp. 135–142.
SEKE-2002-AstesianoR #information management #representation: Knowledge structuring and representation in requirement specificaiton (EA, GR), pp. 143–150.
SEKE-2002-MaidantchikMS #learning #requirements: Learning organizational knowledge: an evolutionary proposal for requirements engineering (CM, MM, GS), pp. 151–157.
SEKE-2002-RuheEP #requirements: Quantitative WinWin: a new method for decision support in requirements negotiation (GR, AE, DP), pp. 159–166.
SEKE-2002-MoreiraAB #quality #requirements: Crosscutting quality attributes for requirements engineering (AMDM, JA, ISB), pp. 167–174.
SEKE-2002-ChungC #approach #knowledge-based #requirements: A knowledge-based COTS-aware requirements engineering approach (LC, KMLC), pp. 175–182.
SEKE-2002-KolpGM #development #information management #social: Information systems development through social structures (MK, PG, JM), pp. 183–190.
SEKE-2002-XuVIY #behaviour #modelling #multi #using #verification: Modeling and verifying multi-agent behaviors using predicate/transition nets (DX, RAV, TRI, JY), pp. 193–200.
SEKE-2002-CostagliolaDFG #modelling #using #visual notation: Using extended positional grammars to develop visual modeling languages (GC, VD, FF, CG), pp. 201–208.
SEKE-2002-BryantBARO #assembly #component #generative #specification #two-level grammar #using: Formal specification of generative component assembly using two-level grammar (BRB, CCB, MA, RRR, AMO), pp. 209–212.
SEKE-2002-ArandaM #design pattern #formal method #verification: A formal model for verifying compound design patterns (GNA, RM), pp. 213–214.
SEKE-2002-SourrouilleC #constraints #modelling #uml: Constraint checking in UML modeling (JLS, GC), pp. 217–224.
SEKE-2002-BarberHB #architecture #evaluation #performance: Performance evaluation of domain reference architectures (KSB, JH, GB), pp. 225–232.
SEKE-2002-WangCH #approach #design #knowledge-based: Design of knowledge-based systems with the ontology-domain-system approach (XW, CWC, HJH), pp. 233–236.
SEKE-2002-RiescoSPPJ #analysis #metamodelling #uml: Al analysis patterns as UML meta-model constructs (AMR, GS, DP, SP, JMJ), pp. 237–238.
SEKE-2002-SchmerlG #architecture #design #self: Exploiting architectural design knowledge to support self-repairing systems (BRS, DG), pp. 241–248.
SEKE-2002-JohanssonH #design #metric #product line: Tracking degradation in software product lines through measurement of design rule violations (EJ, MH), pp. 249–254.
SEKE-2002-AbateB #approach #architecture #component #design #scalability: A scalable approach to the design of SW architectures with dynamically create/destroyed components (PA, MB), pp. 255–262.
SEKE-2002-FukuzawaS #architecture: Evaluating software architectures by coloured petrit nets (KF, MS), pp. 263–270.
SEKE-2002-HeDD #architecture #model checking #specification: Model checking software architecture specifications in SAM (XH, JD, YD), pp. 271–278.
SEKE-2002-AmbriolaK #architecture: Architectural transformations (VA, AK), pp. 275–278.
SEKE-2002-Albalooshi #automation #consistency #database #representation: A database representation that improves automation and maintains consistency in a mulitple view environment (FA), pp. 281–288.
SEKE-2002-MensMW #maintenance #source code: Maintaining software through intentional source-code views (KM, TM, MW), pp. 289–296.
SEKE-2002-Medvidovic #architecture #development #middleware #on the: On the role of middleware in architecture-based software development (NM), pp. 299–306.
SEKE-2002-BandiniPMM #development: A support system to COTS-based software development for business services (SB, FDP, SM, PM), pp. 307–314.
SEKE-2002-MoroN #component #coordination #multi #on the: On the event coordination in multi-component systems (GM, AN), pp. 315–322.
SEKE-2002-BestSM #component #design #framework #information management #re-engineering #visualisation: Designing a component-based framework for visualization in software engineering and knowledge engineering (CB, MADS, JM), pp. 323–322.
SEKE-2002-CostagliolaFRSL #component #development #process #visual notation: A component-based visual environment development process (GC, RF, MR, GS, ADL), pp. 327–334.
SEKE-2002-TorchianoJSW #off the shelf: COTS products characterization (MT, MLJ, CFS, AIW), pp. 335–338.
SEKE-2002-SweZJ #named #tutorial: XVCL: a tutorial (SMS, HZ, SJ), pp. 341–349.
SEKE-2002-FalboGD #approach #domain model #ontology: An ontological approach to domain engineering (RdAF, GG, KCD), pp. 351–358.
SEKE-2002-DenaroMP #modelling: Deriving models of software fault-proneness (GD, SM, MP), pp. 361–368.
SEKE-2002-LeeKC #finite #interactive #sequence chart #state machine #testing: Construction of global finite state machine for testing task interactions written in message sequence charts (NHL, THK, SDC), pp. 369–376.
SEKE-2002-BarbutiTBF #bytecode #java #verification: Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.
SEKE-2002-SantoneV #bytecode #java #model checking: Local model checking of Java bytecode (AS, GV), pp. 383–389.
SEKE-2002-WohlinA #order: Analysing primary and lower order project success drivers (CW, AAA), pp. 393–400.
SEKE-2002-FarinaFO #automaton #modelling #network #probability #representation: Representing software usage models with stochastic automata networks (AGF, PF, FMO), pp. 401–407.
SEKE-2002-LuciaPS #estimation #maintenance: Effort estimation for corrective software maintenance (ADL, EP, SS), pp. 409–416.
SEKE-2002-Morasca #classification #using: A proposal for using continuous attributes in classification trees (SM), pp. 417–424.
SEKE-2002-JorgensenM #development #how #predict #question #why: Combination of software development effort prediction intervals: why, when and how? (MJ, KM), pp. 425–428.
SEKE-2002-MitchellMT #reverse engineering: Search based reverse engineering (BSM, SM, MT), pp. 431–438.
SEKE-2002-PaganelliP #automation #design #interactive #re-engineering #web: Automatic reconstruction of the underlying interaction design of web applications (LP, FP), pp. 439–445.
SEKE-2002-El-RamlySS #interactive #requirements: Recovering software requirements from system-user interaction traces (MER, ES, PGS), pp. 447–454.
SEKE-2002-BalustF #approach #modelling #process: A precedence-based approach for proactive control in software process modelling (JMRB, XF), pp. 457–468.
SEKE-2002-Becker-KornstaedtR #concept #experience #maintenance #process: A concept to support process model maintenance through systematic experience capture (UBK, RR), pp. 465–468.
SEKE-2002-Wang #process #re-engineering: A process centred environment for cooperative software engineering (AIW), pp. 469–472.
SEKE-2002-TepfenhartRW #development #framework: A product focused, layered software development framework (WMT, DR, DW), pp. 473–475.
SEKE-2002-FalboGNBRM #re-engineering #semantics #towards: Towards semantic software engineering environments (RdAF, GG, ACCN, GB, FFR, PGM), pp. 477–478.
SEKE-2002-AversanoC #modelling #process: Introducing eservices in business process models (LA, GC), pp. 481–488.
SEKE-2002-AbateEGN #evaluation #performance #workflow: Workflow performance evaluation through WPQL (AFA, AE, NG, GN), pp. 489–495.
SEKE-2002-AugustoG #logic #modelling #paradigm: A temporal logic view of paradigm models (JCA, RG), pp. 497–503.
SEKE-2002-BalzarottiGM #configuration management #peer-to-peer: Supporting configuration management for virtual workgroups ini a peer-to-peer setting (DB, CG, MM), pp. 507–511.
SEKE-2002-KirdaFRG #architecture #mobile: A service architecture for mobile teamwork (EK, PF, GR, HCG), pp. 513–518.
SEKE-2002-BagnoliFS #distance #education #named: WebTeach: an integrated web-based cooperative environment for distance teaching (FB, FF, AS), pp. 519–520.
SEKE-2002-DustdarG #architecture #collaboration #distributed #mobile: Architectural concerns in distributed and mobile collaborative systems (SD, HCG), pp. 521–522.
SEKE-2002-ArndtCGM #distance #learning #multi #re-engineering #xml: An XML-based approch to multimedia software engineering for distance learning (TA, SKC, AG, PM), pp. 525–532.
SEKE-2002-GrutznerAP #approach #information management #learning: A systematic approach to produce small courseware modules for combined learning and knowledge management environements (IG, NA, DP), pp. 533–539.
SEKE-2002-TortoraSVD #learning #multi: A multilevel learning management system (GT, MS, GV, PD), pp. 541–547.
SEKE-2002-OchoaOP #component #reuse: Reusing courseware components (SFO, EGO, JAP), pp. 549–556.
SEKE-2002-VanT #collaboration #education #evaluation #named #process: FAQshare: a frequently asked questions voting system as a collaboration and evaluation tool in teaching activities (HLV, AT), pp. 557–560.
SEKE-2002-CanforaC #approach #visual notation #xml: A visual approach to define XML to FO transformations (GC, LC), pp. 563–570.
SEKE-2002-KhazaeiT #usability: Applying cognitive dimensions to evaluate and improve the usability of Z formalism (BK, ET), pp. 571–577.
SEKE-2002-BuonoCJH #visualisation: Analysing data trough visualizations in a web-based trade fair system (PB, MFC, GJ, MH), pp. 579–582.
SEKE-2002-BaresiDMP #debugging: Assertions to better specify the amazon bug (LB, GD, LM, PP), pp. 585–592.
SEKE-2002-CelentanoG #automation #generative #modelling #multi: Schema modelling for automatic generation of multimedia presentations (AC, OG), pp. 593–600.
SEKE-2002-CostagliolaMFP #3d #approach #authoring #web: An approach for authoring 3D cultural heritage exhibitions on the web (GC, SDM, FF, FP), pp. 601–608.
SEKE-2002-SciascioDMP #automation #named #verification #web: AnWeb: a sytem for automatic support to web application verification (EDS, FMD, MM, GP), pp. 609–616.
SEKE-2002-CavalcantiV #approach #automation #maintenance #synthesis #web: A logic-based approach for automatic synthesis and maintenance of web sites (JMBC, WWV), pp. 619–626.
SEKE-2002-CannataroCP #adaptation #hypermedia #modelling #named #xml: XAHM: an adaptive hypermedia model based on XML (MC, AC, AP), pp. 627–634.
SEKE-2002-GergicKDSPAP #approach #deployment #lightweight #web #web service: An Approach to lightweight deployment of web services (JG, JK, YD, JS, GP, AA, LP), pp. 635–640.
SEKE-2002-BlundoC #authentication #named #web: SAWM: a tool for secure and authenticated web metering (CB, SC), pp. 641–648.
SEKE-2002-AnzbockDG #deployment: Software configuration, distribution, and deployment of web-services (RA, SD, HCG), pp. 649–656.
SEKE-2002-CanonicoDFRV #legacy #on the #quality: On the introduction of quality of service awareness in legacy ditributed applications (RC, MD, BF, SPR, GV), pp. 659–664.
SEKE-2002-DAntonioFRV #design: Designing service negotiation entities for the electronic market-place (SD, BF, SPR, GV), pp. 665–672.
SEKE-2002-DonzelliS #case study #process #requirements: Handling the knowledge acquired during the requirements engineering process: a case study (PD, RS), pp. 673–679.
SEKE-2002-PoleseTT #data mining #mining: A data mining based system supporting tactical decisions (GP, MT, GT), pp. 681–684.
SEKE-2002-Micucci #architecture #industrial #knowledge-based #monitoring: Exploiting the kaleidoscope architecture in an industrial environmental monitoring system with heterogeneous devices and a knowledge-based supervisor (DM), pp. 685–688.
SEKE-2002-CanforaT #evaluation #nondeterminism #re-engineering #tool support: The importance of dealing with uncertainty in the evaluation of software engineering methods and tools (GC, LT), pp. 691–698.
SEKE-2002-FresaNPS #architecture #assessment #case study: Assessment of software architectures: a case study (AF, GN, EP, GS), pp. 699–706.
SEKE-2002-ConciP #industrial #realtime: A system for real-time fabric inspection and industrial decision (AC, CBP), pp. 707–714.
SEKE-2002-BrunoGMN #distributed #industrial #quality: A distributed industrial application for quality control of clinched boards based on computer vision (IB, AG, MM, PN), pp. 715–718.
SEKE-2002-Ginige #complexity #development #web: Web engineering: managing the complexity of web systems development (AG), pp. 721–729.
SEKE-2002-DeshpandeCG #re-engineering #towards #web: Web site auditing: first step towards re-engineering (YD, AC, AG), pp. 731–737.
SEKE-2002-BonuraCM #web: Patterns for web applications (DB, RC, EM), pp. 739–746.
SEKE-2002-Hansen #information management #modelling #web: Web information systems: the changing landscape of management models and web applications (SH), pp. 747–753.
SEKE-2002-GriffithsHLO #web: A simple method & tool for web engineering (GG, BDH, MAL, BJO), pp. 755–762.
SEKE-2002-ChartersKTM #component #visualisation: Visualisation for informed decision making; from code to components (SMC, CK, NT, MM), pp. 765–772.
SEKE-2002-NakkrasaeS #approach #classification #component #formal method #specification: A formal approach for specification and classification of software components (SN, PS), pp. 773–780.
SEKE-2002-Lozano-TelloG #component #how #named #process #using: BAREMO: how to choose the appropriate software component using the analytic hierarchy process (ALT, AGP), pp. 781–788.
SEKE-2002-AlvesF #challenge #off the shelf #perspective #requirements: Challenges in COTS decision-making: a goal-driven requirements engineering perspective (CFA, AF), pp. 789–794.
SEKE-2002-ReisRSN #process: A policy-based resource instantiation mechanism to automate software process management (CALR, RQR, HS, DJN), pp. 795–802.
SEKE-2002-RaffoHV #framework #hybrid #metric #modelling #process #trade-off #using: Software process decision support: making process tradeoffs using a hybrid metrics, modeling and utility framework (DR, WH, JV), pp. 803–809.
SEKE-2002-MorisioST: A new method to evaluate software artifacts against predefined profiles (MM, IS, AT), pp. 811–818.
SEKE-2002-SvahnbergWLM #architecture #comprehension #quality: A method for understanding quality attributes in software architecture structures (MS, CW, LL, MM), pp. 819–826.
SEKE-2002-RusBH #analysis #development #empirical #process #simulation: Systematically combining process simulation and empirical data in support of decision analysis in software development (IR, SB, MH), pp. 827–833.
SEKE-2002-KarlstromR #programming: Decision support for extreme programming introduction and practice selection (DK, PR), pp. 835–841.

Proceedings of the 14th International Conference on Software Engineering and Knowledge EngineeringSEKE, 2002.

Contents (115 items)

Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering
SEKE, 2002.