2637 search results - page 40 / 528 » Tool Supported Specification and Simulation of Distributed S... |
117
click to vote
METAINFORMATICS
2004
Springer
15 years 7 months ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
122
click to vote
CHI
2008
ACM
16 years 2 months ago
2008
ACM
A significant fraction of persons with cognitive disabilities are potentially able to live more independently with the use of powerful tools embedded in their social environment. ...
113
click to vote
SEKE
2005
Springer
15 years 7 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
122
click to vote
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
118
click to vote
ECSCW
2001
15 years 3 months ago
2001
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...