Sciweavers

852 search results - page 74 / 171
» Understanding How the Requirements Are Implemented in Source...
Sort
View
CIE
2007
Springer
15 years 8 months ago
Effective Computation for Nonlinear Systems
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
Pieter Collins
136
Voted
MAS
1998
Springer
145views Communications» more  MAS 1998»
15 years 8 months ago
Language Issues in Mobile Program Security
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
Dennis M. Volpano, Geoffrey Smith
MODELLIERUNG
2001
15 years 5 months ago
Applicability of the Object Constraint Language (OCL) in Commercial Software Development for Vehicle Routing and Scheduling Soft
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
Peter Wendorff
ICSE
2012
IEEE-ACM
13 years 6 months ago
make test-zesti: A symbolic execution solution for improving regression testing
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
Paul Dan Marinescu, Cristian Cadar
VIEWS
1996
81views more  VIEWS 1996»
15 years 5 months ago
A System Prototype for Warehouse View Maintenance
A data warehouse collects and integrates data from multiple, autonomous, heterogeneous, sources. The warehouse e ectively maintains one or more materialized views over the source ...
Janet L. Wiener, Himanshu Gupta, Wilburt Labio, Yu...