Sciweavers

3920 search results - page 209 / 784
» Challenges in Software Evolution
Sort
View
SEKE
2007
Springer
15 years 9 months ago
An Approach to Software Testing of Machine Learning Applications
Some machine learning applications are intended to learn properties of data sets where the correct answers are not already known to human users. It is challenging to test such ML ...
Chris Murphy, Gail E. Kaiser, Marta Arias
106
Voted
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 8 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
124
Voted
RSP
2000
IEEE
143views Control Systems» more  RSP 2000»
15 years 7 months ago
Hardware/Software Co-Design of a Java Virtual Machine
This paper discusses the initial results of research into the development of a hardware/software co-design of the Java virtual machine. The design considers a complete Java virtua...
Kenneth B. Kent, Micaela Serra
PLSA
1994
15 years 7 months ago
Languages and Interactive Software Development
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
Susan L. Graham
122
Voted
JUCS
2010
163views more  JUCS 2010»
14 years 10 months ago
UML Support for Designing Software Product Lines: The Package Merge Mechanism
: Software product lines have become a successful but challenging approach to software reuse. Some of the problems that hinder the adoption of this development paradigm are the con...
Miguel A. Laguna, José M. Marqués