1032 search results - page 183 / 207 » A Survey on Industrial Software Engineering |
130
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
143
click to vote
WIKIS
2010
ACM
15 years 2 months ago
2010
ACM
We describe ThinkFree, an industrial Visual Wiki application which provides a way for end users to better explore knowledge of IT Enterprise Architecture assets that is held withi...
113
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
143
Voted
TAPOS
1998
15 years 1 months ago
1998
Building and maintaining the class hierarchy has been recognized as an important but one of the most difficult activities of object-oriented design. Concept (or Galois) lattices a...
128
Voted
ECEASST
2008
15 years 1 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...