3837 search results - page 62 / 768 » Concurrent Engineering support in Software Engineering |
124
click to vote
EUROMICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
131
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
There are many difficulties associated with developing correct multithreaded software, and many of the activities that are simple for single threaded software are exceptionally ha...
124
click to vote
SEKE
2005
Springer
15 years 8 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...
127
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
—We have defined a software component model which specifies components and composition operators. These operators coordinate and encapsulate concurrency between components. In ...
129
click to vote
OWLED
2007
15 years 4 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...