IET Software, Volume 2

Volume 2, Number 1, February 2008

Peter Sawyer, Vincenzo Gervasi:
Special Section on Natural Language in Software Engineering. 1-2
René Witte, Qiangqiang Li, Yonggang Zhang, Juergen Rilling:
Text mining and software engineering: an integrated source code and document analysis approach. 3-16
C. S. Gall, Stacy K. Lukins, Letha H. Etzkorn, Sampson Gholston, Phillip A. Farrington, Dawn R. Utley, Julie Fortune, Shamsnaz Virani:
Semantic software metrics computed from natural language design specifications. 17-26
Zachary P. Fry, David Shepherd, Emily Hill, Lori L. Pollock, K. Vijay-Shanker:
Analysing source code: looking for useful verbdirect object pairs in all the right places. 27-36
Barbara A. Kitchenham, Pearl Brereton, Stephen Owen, J. Butcher, Clive Jefferies:
Length and readability of structured software engineering abstracts. 37-45
Kenneth Boness, Anthony Finkelstein, Rachel Harrison:
A lightweight technique for assessing risks in requirements analysis. 46-57
Outi Salo, Pekka Abrahamsson:
Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum. 58-64

Jens Krinke:
Mining execution relations for crosscutting concerns. 65-78
P. Samuel, R. Mall, Ajay Kumar Bothra:
Automatic test case generation using unified modeling language (UML) state diagrams. 79-93
Hassan Gomaa, Michael Eonsuk Shin:
Multiple-view modelling and meta-modelling of software product lines. 94-122
K. Alagarsamy, Selwyn Justus, K. Iyakutti:
Implementation specification for software process improvement supportive knowledge management tool. 123-133
H. H. Kim, Doo-Hwan Bae:
Object-oriented concept analysis for software modularisation. 134-148
Xiaodong Liu, Yankui Feng, Jon M. Kerridge:
Generative aspect-oriented component adaptation. 149-160

Jean-Marie Favre, Dragan Gasevic, Ralf Lämmel, Andreas Winter:
Editorial - Software language engineering. 161-164
Jakob Henriksson, Florian Heidenreich, Jendrik Johannes, Steffen Zschaler, Uwe Aßmann:
Extending grammars and metamodels for reuse: the Reuseware approach. 165-184
Yonggang Zhang, René Witte, Juergen Rilling, Volker Haarslev:
Ontological approach for the semantic recovery of traceability links between software artefacts. 185-203
Carsten Amelunxen, Andy Schürr:
Formalising model transformation rules for UML/MOF 2. 204-222
Alpana Dubey, Pankaj Jalote, Sanjeev Kumar Aggarwal:
Learning context-free grammar rules from a set of program. 223-240
Wolfgang Lohmann, Günter Riedewald, Guido Wachsmuth:
Aspect-oriented prolog in a language processing context. 241-259
Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso:
Integration of safety analysis in model-driven software development. 260-280
Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen:
Evaluating formal properties of feature diagram languages. 281-302

R. Harrison:
In special section on software evolvability - editorial software evolvability. 303
Juergen Rilling, Wen Jun Meng, René Witte, Philippe Charland:
Story-driven approach to software evolution. 304-320
Paul Wernick, Tracy Hall, Chrystopher L. Nehaniv:
Software evolutionary dynamics modelled as the activity of an actor-network. 321-336
D. Hyland-Wood, D. Carrington, S. Kaplan:
Towards a software maintenance methodology using Semantic Web techniques and paradigmatic documentation modelling. 337-347
Petros Pissias, Geoff Coulson:
Framework for quiescence management in support of reconfigurable multi-threaded component-based systems. 348-361
Saeed Parsa, Omid Bushehrian:
Performance-driven object-oriented program re-modularisation. 362-378
Kim Man Lui, Keith C. C. Chan:
Software process fusion by combining pair and solo programming. 379-390

Vitus S. W. Lam:
Theory for classifying equivalences of unified modelling language activity diagrams. 391-403
Borislav Nikolik:
The pi measure. 404-416
María Díaz-Ley, Félix García, Mario Piattini:
Implementing a software measurement program in small and medium enterprises: a suitable framework. 417-436
D. S. Roy, D. K. Mohanta, A. K. Panda:
Software reliability allocation of digital relay for transmission line protection using a combined system hierarchy and fault tree approach. 437-445
H. Liu, G. Li, Z. Y. Ma, W. Z. Shao:
Conflict-aware schedule of software refactorings. 446-460
Y. Lu, L. Zhang, J. Sun:
Types for task-based access control in workflow systems. 461-473

Ádám Darvas, Peter Müller:
Faithful mapping of model classes to mathematical structures. 477-499
Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko:
Verification of class liveness properties with java modelling language. 500-514
Patrice Chalin, Perry R. James, Frédéric Rioux:
Reducing the use of nullable types through non-null by default and monotonic non-null. 515-531
Pavlína Vareková, Barbora Zimmerova, Pavel Moravec, Ivana Cerná:
Formal verification of systems with an unlimited number of components. 532-546
Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell:
Assume-guarantee testing for software components. 547-562

Last update Sat May 18 20:29:42 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page