Sciweavers

6187 search results - page 316 / 1238
» Practical Software Measurement
Sort
View
AGENTS
2001
Springer
15 years 9 months ago
Specifying agent behavior as concurrent tasks
Software agents are currently the subject of much research in many interrelated fields. Unfortunately, there has not been enough emphasis on defining the techniques required to bu...
Scott A. DeLoach
APSEC
1998
IEEE
15 years 9 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...
JOT
2006
106views more  JOT 2006»
15 years 4 months ago
ABS++: Assertion Based Subtyping in C++
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...
Herbert Toth
165
Voted
UTP
2010
15 years 3 months ago
On Modelling User Observations in the UTP
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
Michael J. Banks, Jeremy L. Jacob
MSR
2006
ACM
15 years 10 months ago
Productivity analysis of Japanese enterprise software development projects
To clarify the relation between controllable attributes of a software development and its productivity, this paper experimentally analyzed a software project repository (SEC repos...
Masateru Tsunoda, Akito Monden, Hiroshi Yadohisa, ...