1326 search results - page 38 / 266 » Semantic Coherence in Software Engineering |
FOSSACS
2004
Springer
13 years 11 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...
WER
1998
Springer
13 years 12 months ago
1998
Springer
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
EWSPT
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
EDBTW
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we propose a method that, given a query submitted to a search engine, suggests a list of related queries. The related queries are based in previously issued queries, ...
WCRE
2002
IEEE
14 years 18 days ago
2002
IEEE
Today, software-engineering research and industry alike recognize the need for practical tools to support reverseengineering activities. Most of the well-known CASE tools support ...