1137 search results - page 125 / 228 » Disciplined Methods of Software Specification: A Case Study |
METRICS
2005
IEEE
15 years 3 months ago
2005
IEEE
Generally, code clones are regarded as one of the factors that make software maintenance more difficult. A code clone is a set of source code fragments identical or similar to ea...
CAV
2000
Springer
15 years 1 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
DSVIS
2008
Springer
2008
Springer
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
14 years 11 months ago
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
IJAOSE
2008
14 years 10 months ago
2008
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
130
click to vote
ANCS
2010
ACM
14 years 7 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...