96 search results - page 2 / 20 » 07081 Abstracts Collection - End-User Software Engineering |
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
ICSM
2008
IEEE
14 years 22 hour ago
2008
IEEE
We have proposed the notion of software tag, which is a complex of various characteristic elements of software development project. Empirical data for the is collected and abstrac...
VMCAI
2009
Springer
14 years 11 days ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
PROFES
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In various fields of computer science, rapidly growing hardware power, such as high-speed network, high-performance CPU, huge disk capacity, and large memory space, has ...
APSEC
2010
IEEE
13 years 19 days ago
2010
IEEE
Abstract--In order to increase our ability to use measurement to support software development practise we need to do more analysis of code. However, empirical studies of code are e...