


default search action
IET 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, Zhiquan 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.