Proceedings Fifth International Workshop on Verification and Program Transformation
نویسندگان
چکیده
منابع مشابه
Proceedings of the Fifth Program Visualization Workshop
Adapted, or customized systems, are usual in most application areas. Those systems are able to take some variables into account and, depending of their values, behave differently. Customized systems can be very sophisticated but, once their foreseen parameters are taken into account, their interfaces are consequently fixed, and no change takes place at runtime. By no change we mean that there i...
متن کاملIn Proceedings of the Fifth International Workshop on Arti cial
This paper gives an overview of the design of aide, the Assistant for Intelligent Data Exploration, which assists humans in the early stages of data analysis. The system adopts a script-based planning approach to automating EDA. Data-directed mechanisms extract simple observations and suggestive indications from the data. Scripted EDA operations are then applied in goal-directed fashion to gene...
متن کاملFifth International Workshop on Designing Correct Circuits
The last twenty years have seen large advances in the field of programming languages for software development. New languages such as Java, C++, and ML have largely replaced older, less sophisticated programming languages such as Algol, Pascal, C, and Fortran for new software development. These new languages have sophisticated data modeling and representation systems that hold out the promise of...
متن کاملThe Proceedings of the Fifth International Research Workshop on Advances and Innovations in System Testing
Complexity of software remains a salient antecedent of software quality. While there are many complexity metrics, interdependence of software systems significantly contributes to the overall complexity of developing and maintaining high quality information systems especially in large organizations. Only a paucity of studies in the academic literature have focused on software interface defects, ...
متن کاملThe Fifth International VLDB Workshop
In the research area of spatial databases, query processing based on uncertain location information has become an important research topic. In this paper, we propose an index structure for the case that the locations of a query object and target objects are imprecise and specified by Gaussian distributions with different parameters. The index structure efficiently supports probabilistic spatial...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2017
ISSN: 2075-2180
DOI: 10.4204/eptcs.253.0