99 search results - page 8 / 20 » Towards Synchronous Collaborative Software Engineering |
WCET
2010
13 years 5 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
14 years 2 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
14 years 2 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...
PASTE
2005
ACM
14 years 1 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...
ICST
2010
IEEE
13 years 6 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...