1001 search results - page 6 / 201 » Myths in Software Engineering: From the Other Side |
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Synthesis is the automatic construction of a system from its specification. In the classical synthesis algorithms it is always assumed the system is “constructed from ...
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
79
Voted
EUROSPI
2005
Springer
15 years 3 months ago
2005
Springer
In agile methodologies communication between programmers is very important. Some of them (e.g. XP or Crystal Clear) recommend pair programming. There are two styles of pair program...
ISCA
2012
IEEE
12 years 12 months ago
2012
IEEE
Over the past two decades, several microarchitectural side channels have been exploited to create sophisticated security attacks. Solutions to this problem have mainly focused on ...
104
click to vote
WCRE
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper discusses the requirements and a generic framework for the integration of architectural and codebased reengineering tools. This framework is needed because there is a l...