99 search results - page 8 / 20 » Towards Synchronous Collaborative Software Engineering |
122
click to vote
WCET
2010
14 years 11 months ago
2010
To take full advantage of the increasingly used shared-memory multicore architectures, software algorithms will need to be parallelized over multiple threads. This means that thre...
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
WIKIS
2009
ACM
15 years 7 months ago
2009
ACM
Software development is a knowledge-intensive activity and frequently implies a progressive crystallization of knowledge, towards programming language statements. Although wikis h...
125
click to vote
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
135
click to vote
ICST
2010
IEEE
14 years 12 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...