Sciweavers

16725 search results - page 543 / 3345
» Engineering Software Correctness
Sort
View
JSW
2007
102views more  JSW 2007»
15 years 7 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
ACL
2006
15 years 8 months ago
Correcting ESL Errors Using Phrasal SMT Techniques
This paper presents a pilot study of the use of phrasal Statistical Machine Translation (SMT) techniques to identify and correct writing errors made by learners of English as a Se...
Chris Brockett, William B. Dolan, Michael Gamon
ICECCS
2009
IEEE
105views Hardware» more  ICECCS 2009»
16 years 1 months ago
An Emerging Need for a New Software Engineering Method
Isabelle Perseil, Laurent Pautet
HASE
2007
IEEE
16 years 1 months ago
Arguing safety with Problem Oriented Software Engineering
Jon G. Hall, Derek Mannering, Lucia Rapanotti