1199 search results - page 45 / 240 » Software Verification and Software Engineering a Practitione... |
111
Voted
ICSE
1995
IEEE-ACM
15 years 7 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
121
click to vote
APSEC
2001
IEEE
15 years 7 months ago
2001
IEEE
Process tailoring and verification are very important since project-specific processes are tailored from an organizational process standard and many quality assurance activities a...
123
Voted
ADAEUROPE
2003
Springer
15 years 9 months ago
2003
Springer
Traditional programming languages assume that real-world systems have “intuitive”, mind-independent, preexisting concept hierarchies. However, our perception of the world depen...
136
click to vote
RE
2002
Springer
15 years 3 months ago
2002
Springer
Extreme Programming (XP) is an agile (lightweight) software development methodology and it becomes more and more popular. XP proposes many interesting practices, but it also has s...
115
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...