default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIET Software, Volume 4
Volume 4, Number 1, February 2010
- M. Teresa Villalba
, Luis Fernández-Sanz, J. J. Martinez:
Empirical support for the generation of domain-oriented quality models. 1-14 - Marco Torchiano, Filippo Ricca, Paolo Tonella:
Empirical comparison of graphical and annotation-based re-documentation approaches. 15-31 - Lech Madeyski, N. Radyk:
Judy - a mutation testing tool for Java. 32-42 - Y. Chung, D. Lee:
Mathematical basis for the chaining of lossy interface adapters. 43-54 - Jaiprakash T. Lallchandani, Rajib Mall:
Integrated state-based dynamic slicing technique for UML models. 55-78 - María Ángeles Moraga, Coral Calero, Manuel F. Bertoa:
Improving interpretation of component-based systems quality through visualisation techniques. 79-90
Volume 4, Number 2, April 2010
- Raman Ramsin, Richard F. Paige:
Iterative criteria-based approach to engineering the requirements of software development methodologies. 91-104 - Hannu Jaakkola, Bernhard Thalheim:
Framework for high-quality software design and development: a systematic approach. 105-118 - Vincenzo De Florio, Chris Blondia:
Design tool to express failure detection protocols. 119-133 - Ugo Erra, Giuseppe Scanniello:
Assessing communication media richness in requirements negotiation. 134-148 - Riham Hassan, Mohamed Eltoweissy, Shawn A. Bohner, Sherif El-Kassas:
Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements. 149-160 - Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge:
Understanding the complexity embedded in large routine call traces with a focus on program comprehension tasks. 161-177
Volume 4, Number 3, June 2010
- Dimitra Giannakopoulou, Corina S. Pasareanu:
Editorial: automated compositional verification. 179-180 - Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
Compositional verification for component-based systems and application. 181-193 - Oksana Tkachuk, Matthew B. Dwyer:
Environment generation for validating event-driven software using model checking. 194-209 - Pavel Parízek, Frantisek Plásil:
Assume-guarantee verification of software components in SOFA 2 framework. 210-211 - Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
Synthesising certificates in networks of timed automata. 222-235
Volume 4, Number 4, August 2010
- Iván A. García, Carla L. Pacheco, José Antonio Calvo-Manzano:
Using a web-based tool to define and implement software process improvement initiatives in a small industrial setting. 237-251 - Liguo Yu, Alok Mishra, Srini Ramaswamy:
Component co-evolution and component dependency: speculations and verifications. 252-267 - Francisco Ortin, Daniel Zapico Palacio, J. Baltasar García Pérez-Schofield, Miguel García:
Including both static and dynamic typing in the same programming language. 268-282 - Omer Deperlioglu, Y. Arslan:
Design principles of web-based distance education system and sample application in Afyon Kocatepe University. 283-293 - Fei-Ching Kuo, Zhi Quan Zhou, Jun Ma, Guangquan Zhang:
Metamorphic testing of decision support systems: a case study. 294-301
Volume 4, Number 5, October 2010
- L. Zhang, Y. Lu, F. Xu:
Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus. 303-317 - Steve Counsell, George Loizou, Rajaa Najjar:
Evaluation of the 'replace constructors with creation methods' refactoring in Java systems. 318-333 - Dharmalingam Jeya Mala, Vasudev Mohan, M. Kamalapriya:
Automated software test optimisation framework - an artificial bee colony optimisation-based approach. 334-348 - Matthias Galster, Armin Eberlein, Mahmood Moussavi:
Systematic selection of software architecture styles. 349-360 - Dunwei Gong, Xiangjuan Yao:
Automatic detection of infeasible paths in software testing. 361-370
Volume 4, Number 6, December 2010
- Ricardo Colomo-Palacios, Juan Miguel Gómez-Berbís:
Social semantic web support for software development [Editorial]. 371-372 - Rafael Valencia-García, Francisco García-Sánchez, Dagoberto Castellanos Nieves, Jesualdo Tomás Fernández-Breis, Ambrosio Toval:
Exploitation of social semantic technology for software development team configuration. 373-385 - Roberto García, Rosa Gil, Juan Manuel Gimeno, Toni Granollers, Juan Miguel López, Marta Oliva, Afra Pascual:
Semantic wiki for quality management in software development projects. 386-395 - Ricardo Martinho, João Varajão, Dulce Domingos:
Using the semantic web to define a language for modelling controlled flexibility in software processes. 396-406 - Janneth Chicaiza, Jorge López-Vargas, Nelson Piedra, Oscar Martínez Bonastre, Edmundo Tovar Caro:
Usage of social and semantic web technologies to design a searching architecture for software requirement artefacts. 407-417 - Maria Vargas-Vera, Miltiadis D. Lytras:
AQUA: hybrid architecture for question answering services. 418-433 - Antonio Amescua, Leonardo Bermón-Angarita, Javier García Guzmán, María Isabel Sánchez Segura:
Knowledge repository to improve agile development processes learning. 434-444 - Pedro Soto-Acosta, Cristina Casado-Lumbreras, Fernando Cabezas-Isla:
Shaping human capital in software development teams: the case of mentoring enabled by semantics. 445-452
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 2026-02-16 23:48 CET 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:
