Sciweavers

3441 search results - page 464 / 689
» Provenance of Software Development Processes
Sort
View
122
Voted
ANLP
1997
81views more  ANLP 1997»
15 years 5 months ago
An Open Distributed Architecture for Reuse and Integration of Heterogeneous NLP Components
The shift from Computational Linguistics to Language Engineering is indicative of new trends in NLP. This paper reviews two NLP engineering problems: reuse and integration, while ...
Rémi Zajac, Mark Casper, Nigel Sharples
117
Voted
WCE
2007
15 years 4 months ago
Simulating the Latent Effect of Attrition on Project Management
Staff attrition is a problem often faced by software development organizations. We used process modeling and simulation to estimate the effect of different staffing policies on th...
P. K. Suri, Rachna Soni
150
Voted
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 1 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
155
Voted
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 1 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
131
Voted
KBSE
2009
IEEE
15 years 10 months ago
A Framework for State-Space Exploration of Java-Based Actor Programs
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
Steven Lauterburg, Mirco Dotta, Darko Marinov, Gul...