2005-04-14 A novel approach for component-based fault-tolerant software development. 365-382 2005 47 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2004.09.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#SinhaH05 2005-04-13 iJob: an Internet-based job execution environment using asynchronous messaging. 565-574 2005 47 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2004.10.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#FatoohiGV05 2005-04-13 Exploring defect causes in products developed by virtual teams. 399-410 2005 47 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2004.09.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#JacobsMKKTB05 2005-04-13 A lightweight approach for migrating web frameworks. 521-532 2005 47 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2004.10.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#HassanH05 2005-04-13 Designing secure databases. 463-477 2005 47 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2004.09.013 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Fernandez-MedinaP05 2005-04-13 Stepwise deployment methodology of a service oriented architecture for business communities. 427-436 2005 47 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2004.09.011 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#BagliettoMPZ05 2005-04-13 Deriving objects from use cases in real-time embedded systems. 533-541 2005 47 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2004.10.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#KimourM05 2005-04-13 From requirements negotiation to software architecture decisions. 511-520 2005 47 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2004.10.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#KazmanIC05 2006-02-06 Requirements engineering for organizational transformation. 479-495 2005 47 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2004.09.014 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#RamosBC05 2005-04-13 The impacts of quality and productivity perceptions on the use of software process improvement innovations. 543-553 2005 47 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2004.10.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#GreenHC05 2005-04-13 Does UML make the grade? Insights from the software development community. 383-397 2005 47 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2004.09.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#GrossmanAM05 2005-04-13 Embedded System Paranoia: a tool for testing embedded system arithmetic. 555-563 2005 47 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2004.10.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Hatton05a 2005-04-13 Resource conscious development of middleware for control environments: a case of CORBA-based middleware for the CAN bus systems. 411-425 2005 47 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2004.09.012 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#HongK05 2005-04-21 Integration of functional, cognitive and quality requirements. A railways case study. 993-1000 2000 42 Information & Software Technology 14 http://dx.doi.org/10.1016/S0950-5849(00)00151-8 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#FeliciSW00 2005-04-21 Analyzing dependence locality for efficient construction of program dependence graph. 935-946 2000 42 Information & Software Technology 13 http://dx.doi.org/10.1016/S0950-5849(00)00127-0 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#OhataNI00 2005-04-21 Performance comparison of CORBA and RMI. 915-933 2000 42 Information & Software Technology 13 http://dx.doi.org/10.1016/S0950-5849(00)00128-2 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#JuricRH00 2005-04-21 Identifying relevant constraints for semantic query optimization. 899-914 2000 42 Information & Software Technology 13 http://dx.doi.org/10.1016/S0950-5849(00)00121-X http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#LeeHCL00 2005-04-21 Design of a product-focused customer-oriented process. 973-981 2000 42 Information & Software Technology 14 http://dx.doi.org/10.1016/S0950-5849(00)00149-X http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#Elliott00 2005-04-21 A survey of lead-time challenges in the development and evolution of distributed real-time systems. 947-958 2000 42 Information & Software Technology 13 http://dx.doi.org/10.1016/S0950-5849(00)00129-4 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#BratthallRAE00 2005-04-21 The development of OCPL, object conceptual prototyping language. 1045-1056 2000 42 Information & Software Technology 15 http://dx.doi.org/10.1016/S0950-5849(00)00131-2 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#JamesS00 2005-04-21 Software project control and metrics. 963-964 2000 42 Information & Software Technology 14 http://dx.doi.org/10.1016/S0950-5849(00)00147-6 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#MaxwellK00 2005-04-21 A comparative study of two software development cost modeling techniques using multi-organizational and company-specific data. 1009-1016 2000 42 Information & Software Technology 14 http://dx.doi.org/10.1016/S0950-5849(00)00153-1 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#JefferyRW00 2005-04-21 Using simulation to analyse the impact of software requirement volatility on project performance. 1001-1008 2000 42 Information & Software Technology 14 http://dx.doi.org/10.1016/S0950-5849(00)00152-X http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#PfahlL00 2005-04-21 From process improvement to people improvement: enabling learning in software development. 965-971 2000 42 Information & Software Technology 14 http://dx.doi.org/10.1016/S0950-5849(00)00148-8 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#SolingenBKT00 2005-04-21 Subjective evaluation as a tool for learning from software project success. 983-992 2000 42 Information & Software Technology 14 http://dx.doi.org/10.1016/S0950-5849(00)00150-6 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#WohlinMHR00 2005-04-21 Enhanced ER to relational mapping and interrelational normalization. 1057-1073 2000 42 Information & Software Technology 15 http://dx.doi.org/10.1016/S0950-5849(00)00132-4 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#KolpZ00 2005-04-21 Strategies and visualization tools for enhancing user auditing of spreadsheet models. 1037-1043 2000 42 Information & Software Technology 15 http://dx.doi.org/10.1016/S0950-5849(00)00130-0 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#ChanYP00 2005-04-21 QoS-based evaluation of file systems and distributed system services for continuous media provisioning. 1021-1035 2000 42 Information & Software Technology 15 http://dx.doi.org/10.1016/S0950-5849(00)00142-7 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof42.html#LeeSS00 2006-07-04 Problem frames and software engineering. 903-912 2005 47 Information & Software Technology 14 http://dx.doi.org/10.1016/j.infsof.2005.08.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Jackson05 2006-07-04 How to steer an embedded software project: tactics for selecting the software process model. 587-608 2005 47 Information & Software Technology 9 http://dx.doi.org/10.1016/j.infsof.2004.11.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#KettunenL05 2006-07-04 Communicating bugs: global bug knowledge distribution. 709-719 2005 47 Information & Software Technology 11 http://dx.doi.org/10.1016/j.infsof.2004.09.009 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Berglund05 2006-07-04 Simulating families of studies to build confidence in defect hypotheses. 1019-1032 2005 47 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2005.09.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#ShullCBM05 2006-07-04 From timetabling to train regulation - a new train operation model. 575-585 2005 47 Information & Software Technology 9 http://dx.doi.org/10.1016/j.infsof.2004.10.008 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#ChangC05 2006-07-04 Software project management using PROMPT: A hybrid metrics, modeling and utility framework. 1009-1017 2005 47 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2005.09.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Raffo05 2006-07-04 Web cache management based on the expected cost of web objects. 609-621 2005 47 Information & Software Technology 9 http://dx.doi.org/10.1016/j.infsof.2004.11.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Bahn05 2006-07-04 Efficient discovery of multilevel spatial association rules using partitions. 829-840 2005 47 Information & Software Technology 13 http://dx.doi.org/10.1016/j.infsof.2004.03.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#WangXCM05 2006-07-04 An analysis of the most cited articles in software engineering journals - 1999. 957-964 2005 47 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2005.09.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Wohlin05a 2006-07-04 Computing dynamic slices of concurrent object-oriented programs. 805-817 2005 47 Information & Software Technology 12 http://dx.doi.org/10.1016/j.infsof.2005.02.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#MohapatraMK05 2006-07-04 BP's multi-enterprise asset management system. 999-1007 2005 47 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2005.09.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#HollandSK05 2006-07-04 A study on managing the performance requirements of a distributed service delivery software system. 735-746 2005 47 Information & Software Technology 11 http://dx.doi.org/10.1016/j.infsof.2004.12.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Bagchi05 2006-07-04 Experiences of using an evaluation framework. 761-774 2005 47 Information & Software Technology 11 http://dx.doi.org/10.1016/j.infsof.2005.01.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#KitchenhamLL05 2006-07-04 Quality and comprehension of UML interaction diagrams-an experimental comparison. 675-692 2005 47 Information & Software Technology 10 http://dx.doi.org/10.1016/j.infsof.2005.01.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#GlezerLNS05 2006-07-04 A theoretical foundation of variability in component-based development. 663-673 2005 47 Information & Software Technology 10 http://dx.doi.org/10.1016/j.infsof.2004.11.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#KimHC05 2006-07-04 Measuring design testability of a UML class diagram. 859-879 2005 47 Information & Software Technology 13 http://dx.doi.org/10.1016/j.infsof.2005.01.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#BaudryT05 2006-07-04 Parallel testing of distributed software. 657-662 2005 47 Information & Software Technology 10 http://dx.doi.org/10.1016/j.infsof.2004.11.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Lastovetsky05 2006-07-04 Enhancing class commutability in the deployment of design patterns. 797-804 2005 47 Information & Software Technology 12 http://dx.doi.org/10.1016/j.infsof.2005.01.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#NgC05 2006-07-04 Automated software size estimation based on function points using UML models. 881-890 2005 47 Information & Software Technology 13 http://dx.doi.org/10.1016/j.infsof.2005.02.008 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#ZivkovicRH05 2006-07-04 The application of use cases in systems analysis and design specification. 623-641 2005 47 Information & Software Technology 9 http://dx.doi.org/10.1016/j.infsof.2004.11.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#RatcliffeB05 2006-07-04 A UML-based approach for problem frame oriented software development. 929-954 2005 47 Information & Software Technology 14 http://dx.doi.org/10.1016/j.infsof.2005.08.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#ChoppyR05 2006-07-04 A survey of component based system quality assurance and assessment. 693-707 2005 47 Information & Software Technology 10 http://dx.doi.org/10.1016/j.infsof.2005.03.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#MahmoodLKKPO05 2006-07-04 On the specification and implementation of distributed systems using NMDS and LIPS. 721-734 2005 47 Information & Software Technology 11 http://dx.doi.org/10.1016/j.infsof.2004.11.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#BavanA05 2006-07-04 Combating architectural degeneration: a survey. 643-656 2005 47 Information & Software Technology 10 http://dx.doi.org/10.1016/j.infsof.2004.11.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#HochsteinL05 2006-07-04 Multi-way spatial join selectivity for the ring join graph. 785-795 2005 47 Information & Software Technology 12 http://dx.doi.org/10.1016/j.infsof.2005.01.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#MinPC05 2006-07-04 An approach to formal automated analysis of problem-frame concerns. 913-927 2005 47 Information & Software Technology 14 http://dx.doi.org/10.1016/j.infsof.2005.08.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#NelsonNAC05 2006-07-10 A framework for evaluating a software bidding model. 747-760 2005 47 Information & Software Technology 11 http://dx.doi.org/10.1016/j.infsof.2004.05.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#KitchenhamPLJ05 2006-07-04 A formal framework for database sampling. 819-828 2005 47 Information & Software Technology 12 http://dx.doi.org/10.1016/j.infsof.2005.02.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#BisbalGB05 2006-07-04 Most cited journal articles in software engineering. 955 2005 47 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2005.09.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#Wohlin05 2006-07-04 Engineering a software tool for gene structure prediction in higher organisms. 965-978 2005 47 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2005.09.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#GremmeBSK05 2006-07-04 A roadmap of problem frames research. 891-902 2005 47 Information & Software Technology 14 http://dx.doi.org/10.1016/j.infsof.2005.08.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#CoxHR05 2006-07-04 An approach to ontology for institutional facts in the semantic web. 775-783 2005 47 Information & Software Technology 12 http://dx.doi.org/10.1016/j.infsof.2004.12.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#ColombD05 2006-07-04 A measurement framework for object-oriented software testability. 979-997 2005 47 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2005.09.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#MouchawrabBL05 2006-07-04 XML-based requirements engineering for an electronic clearinghouse. 841-858 2005 47 Information & Software Technology 13 http://dx.doi.org/10.1016/j.infsof.2005.01.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof47.html#FeckoL05 2006-07-04 The relative influence of management control and user-IS personnel interaction on project performance. 214-220 2006 48 Information & Software Technology 3 http://dx.doi.org/10.1016/j.infsof.2005.04.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#WangSJK06 2006-07-04 A technique for expressing IT security objectives. 532-539 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.008 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#LeiwoKMS06 2006-07-04 The implementation of a secure and pervasive multimodal Web system architecture. 424-432 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.012 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ChangM06 2006-07-05 Encapsulating windows-based software applications into reusable components with design patterns. 619-629 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.06.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#HongLJFC06 2006-07-04 XQuery speedup by deploying structural redundancy in mapping XML into relations. 12-30 2006 48 Information & Software Technology 1 http://dx.doi.org/10.1016/j.infsof.2005.02.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#KimP06 2006-07-04 The HWS hybrid web search. 687-695 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.07.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#HanC06 2006-07-04 MAPIS, a multi-agent system for information personalization. 107-120 2006 48 Information & Software Technology 2 http://dx.doi.org/10.1016/j.infsof.2005.03.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Petit-RozeS06 2006-07-04 The role of cultural diversity and leadership in computer-supported collaborative learning: a content analysis. 142-153 2006 48 Information & Software Technology 3 http://dx.doi.org/10.1016/j.infsof.2005.03.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#LimL06 2006-07-04 Information flow control in multithread applications based on access control lists. 717-725 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.08.008 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ChouLL06 2006-07-04 Software effort estimation terminology: The tower of Babel. 302-310 2006 48 Information & Software Technology 4 http://dx.doi.org/10.1016/j.infsof.2005.04.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#GrimstadJM06 2006-07-04 Design and evaluation of a panoramic visualization environment on Semantic Web. 402-409 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.016 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ChenYH06 2006-07-04 How large are software cost overruns? A review of the 1994 CHAOS report. 297-301 2006 48 Information & Software Technology 4 http://dx.doi.org/10.1016/j.infsof.2005.07.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#JorgensenM06 2006-07-04 Testing spreadsheet accuracy theory. 204-213 2006 48 Information & Software Technology 3 http://dx.doi.org/10.1016/j.infsof.2005.04.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Kruck06 2006-07-04 Improving test quality using robust unique input/output circuit sequences (UIOCs). 696-707 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.08.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#GuoHHD06 2006-07-04 Comparison of software architecture reverse engineering methods. 484-497 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#StringfellowAPAG06 2006-07-04 Dynamic graphical UML views from formal B specifications. 154-169 2006 48 Information & Software Technology 3 http://dx.doi.org/10.1016/j.infsof.2005.03.008 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#IdaniL06 2006-07-06 An interactive service customization model. 280-296 2006 48 Information & Software Technology 4 http://dx.doi.org/10.1016/j.infsof.2005.04.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#CaoWLZL06 2006-07-04 On the relationship between two control-flow coverage criteria: all JJ-paths and MCDC. 433-440 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#WoodwardH06 2006-07-04 Bridging patterns: An approach to bridge gaps between SE and HCI. 69-89 2006 48 Information & Software Technology 2 http://dx.doi.org/10.1016/j.infsof.2005.02.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#FolmerWB06 2006-07-04 The use and effects of an electronic process guide and experience repository: a longitudinal study. 566-577 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.06.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#KurniawatiJ06 2006-07-04 Trust in software outsourcing relationships: An empirical investigation of Indian software companies. 345-354 2006 48 Information & Software Technology 5 http://dx.doi.org/10.1016/j.infsof.2005.09.011 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#OzaHRG06 2006-07-14 Towards a consistent terminology for software measurement. 631-644 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.07.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#GarciaBCVRPG06 2006-07-04 Efficient mining and prediction of user behavior patterns in mobile web systems. 357-369 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.014 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#TsengL06 2006-07-04 FCVW agent framework. 385-392 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.013 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ShakshukiPT06 2006-07-04 Compacting XML documents. 90-106 2006 48 Information & Software Technology 2 http://dx.doi.org/10.1016/j.infsof.2005.03.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#KalmanHG06 2006-07-04 Automatic test data generation using genetic algorithm and program dependence graphs. 586-605 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.06.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#MillerRZ06 2006-07-04 An event-driven framework for inter-user communication applications. 471-483 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#HsuW06 2006-07-04 An application of Bayesian network for predicting object-oriented software maintainability. 59-67 2006 48 Information & Software Technology 1 http://dx.doi.org/10.1016/j.infsof.2005.03.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#KotenG06 2006-07-04 Dynamic model for the system testing process. 578-585 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.06.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Stikkel06 2006-07-04 Performance evaluation of e-commerce requests in wireless cellular networks. 393-401 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.017 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#AwanS06 2006-07-04 Special Issue Editorial: WAMIS 2005 Workshop. 355-356 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.018 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#YounasSC06 2006-07-04 Applying Model-Driven Architecture to achieve distribution transparencies. 498-516 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.010 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Zarras06 2006-07-04 Modelling software development across time zones. 1-11 2006 48 Information & Software Technology 1 http://dx.doi.org/10.1016/j.infsof.2004.02.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#TaweelB06 2006-07-04 Partial rollback in object-oriented/object-relational database management systems with dual buffer. 121-132 2006 48 Information & Software Technology 2 http://dx.doi.org/10.1016/j.infsof.2005.03.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#KimLW06 2006-07-04 A framework for classifying and developing extensible architectural views. 456-470 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#RyooS06 2006-07-04 Mapping DTDs to relational schemas with semantic constraints. 245-252 2006 48 Information & Software Technology 4 http://dx.doi.org/10.1016/j.infsof.2005.05.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#LvY06 2006-07-04 Design dysphasia and the pattern maintenance cycle. 660-675 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.07.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#NielsonK06 2006-07-04 DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems. 221-234 2006 48 Information & Software Technology 4 http://dx.doi.org/10.1016/j.infsof.2005.04.008 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#HongK06 2006-07-04 Assessing multiview framework (MF) comprehensibility and efficiency: A replicated experiment. 313-322 2006 48 Information & Software Technology 5 http://dx.doi.org/10.1016/j.infsof.2005.09.010 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ArdimentoBCV06 2006-07-04 A preliminary study on the impact of a pair design phase on pair programming and solo programming. 335-344 2006 48 Information & Software Technology 5 http://dx.doi.org/10.1016/j.infsof.2005.09.008 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Muller06 2006-07-05 Genetic algorithm based software integration with minimum software risk. 133-141 2006 48 Information & Software Technology 3 http://dx.doi.org/10.1016/j.infsof.2005.03.005 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#YangJY06 2006-07-04 A systematic review of statistical power in software engineering experiments. 745-755 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.08.009 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#DybaKS06 2006-07-04 Model for measuring quality of software in DVRS using the gap concept and fuzzy schemes with GA. 187-203 2006 48 Information & Software Technology 3 http://dx.doi.org/10.1016/j.infsof.2005.04.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ChenLWC06 2006-07-04 Supporting use case based requirements engineering. 43-58 2006 48 Information & Software Technology 1 http://dx.doi.org/10.1016/j.infsof.2005.02.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Some06 2006-07-04 Group cohesion in organizational innovation: An empirical examination of ERP implementation. 235-244 2006 48 Information & Software Technology 4 http://dx.doi.org/10.1016/j.infsof.2005.04.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#WangYJK06 2006-07-04 A method for assigning a value to a communication protocol test case. 645-659 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.07.003 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#LaiK06 2006-07-04 Finding frequent itemsets over online data streams. 606-618 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.06.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ChangL06 2006-07-04 Theory and algorithms for slicing unstructured programs. 549-565 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.06.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#HarmanLB06 2006-07-04 Dreamer: A resource management architecture for Jini federation. 170-186 2006 48 Information & Software Technology 3 http://dx.doi.org/10.1016/j.infsof.2005.04.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#JiauKS06 2006-07-04 From a B formal specification to an executable code: application to the relational database domain. 253-279 2006 48 Information & Software Technology 4 http://dx.doi.org/10.1016/j.infsof.2005.05.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#MammarL06 2006-07-04 Evaluation and Assessment in Software Engineering (EASE 05). 311 2006 48 Information & Software Technology 5 http://dx.doi.org/10.1016/j.infsof.2005.09.009 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Kitchenham06 2006-07-05 Definition of a problem-sensitive conceptual modelling language: foundations and application to software engineering. 517-531 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.009 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#AndradeAGPRS06 2006-07-05 A framework for anonymous but accountable self-organizing communities. 726-744 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.08.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#ZieglerFL06 2006-07-04 Process improvement for small firms: An evaluation of the RAPID assessment-based method. 323-334 2006 48 Information & Software Technology 5 http://dx.doi.org/10.1016/j.infsof.2005.09.012 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Cater-SteelTR06 2006-07-04 On coordinating personalized composite web services. 540-548 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.011 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#Maamar06 2006-07-04 Testing web applications. 31-42 2006 48 Information & Software Technology 1 http://dx.doi.org/10.1016/j.infsof.2005.02.007 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#MansourH06 2006-07-04 Incremental mining of generator representation using border sets. 756-764 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.10.001 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#XuX06 2006-07-04 Towards an ontology-based approach for specifying and securing Web services. 441-455 2006 48 Information & Software Technology 7 http://dx.doi.org/10.1016/j.infsof.2005.05.004 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#MaamarNS06 2006-07-04 Object-relational complex structures for XML storage. 370-384 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.015 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#PardedeRT06 2006-07-04 The collateral coverage of data flow criteria when branch testing. 676-686 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.07.006 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#MalevrisY06 2006-07-04 A high concurrency XPath-based locking protocol for XML databases. 708-716 2006 48 Information & Software Technology 8 http://dx.doi.org/10.1016/j.infsof.2005.08.002 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#JeaC06 2006-07-04 Reaching consensus: A moderated fuzzy web services discovery method. 410-423 2006 48 Information & Software Technology 6 http://dx.doi.org/10.1016/j.infsof.2005.12.011 http://www.informatik.uni-trier.de/~ley/db/journals/infsof/infsof48.html#HuangLCY06 2003-12-19 Expressive Number Restrictions in Description Logics. 319-350 1999 9 J. Log. Comput. 3 http://www3.oup.co.uk/logcom/hdb/Volume_09/Issue_03/090319.sgm.abs.html http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom9.html#BaaderS99 2003-12-19 Existential Least Fixed-Point Logic and its Relatives. 205-228 1997 7 J. Log. Comput. 2 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom7.html#Grohe97 2003-12-19 An Interactive Solution to the n by n Mutilated Checkerboard Problem. 573-598 1996 6 J. Log. Comput. 4 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom6.html#Subramanian96 2003-12-19 Logic Programming with Signs and Annotations. 755-778 1996 6 J. Log. Comput. 6 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom6.html#Lu96 2003-12-19 Representing and Reasoning on XML Documents: A Description Logic Approach. 295-318 1999 9 J. Log. Comput. 3 http://www3.oup.co.uk/logcom/hdb/Volume_09/Issue_03/090295.sgm.abs.html http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom9.html#CalvaneseGL99 2003-12-19 Tractable and intractable instances of combination problems for unification and disunification. 105-135 2000 10 J. Log. Comput. 1 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom10.html#Schulz00 2003-12-19 Linear Logic and Exceptions. 859-876 1994 4 J. Log. Comput. 6 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom4.html#FouquereV94 2006-03-31 Editorial. 757-759 1991 1 J. Log. Comput. 6 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom1.html#Hodges91 2003-12-19 The Generalized Logic of only Knowing (GOL) That Covers the Notion of Epistemic Specifications. 159-174 1997 7 J. Log. Comput. 2 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom7.html#Chen97 2003-12-19 Ramification and causality in a modal action logic. 625-662 2000 10 J. Log. Comput. 5 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom10.html#GiordanoMS00 2003-12-19 Comparing the Expressibility of Languages Formed using NP-Complete Operators. 305-330 1991 1 J. Log. Comput. 3 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom1.html#Stewart91 2003-12-19 Logical Description of Monotone NP Problems. 337-357 1994 4 J. Log. Comput. 4 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom4.html#Stewart94 2003-12-19 Efficient Temporal Satisfiability. 173-210 1992 2 J. Log. Comput. 2 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom2.html#EmersonSS92 2003-12-19 Naming and Identity in Epistemic Logics Part I: The Propositional Case. 345-378 1993 3 J. Log. Comput. 4 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom3.html#GroveH93 2003-12-19 Destructive Modal Resolution. 83-97 1990 1 J. Log. Comput. 1 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom1.html#Fitting90 2003-12-19 Kleene's Logic, Generalized. 797-810 1991 1 J. Log. Comput. 6 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom1.html#Fitting91 2003-12-19 Editorial. 107-110 1992 2 J. Log. Comput. 2 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom2.html#Fitting92 2003-12-19 leanTAP Revisited. 33-47 1998 8 J. Log. Comput. 1 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom8.html#Fitting98 2003-12-19 Saturated Formulas in Full Linear Logic. 665-668 1998 8 J. Log. Comput. 5 http://www.informatik.uni-trier.de/~ley/db/journals/logcom/logcom8.html#CastellanP98 2003-12-19 ADL and the State-Transition Model of Action. 467-512 1994