15727 search results - page 449 / 3146 » Software Engineering - Introduction |
190
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
165
click to vote
DIAGRAMS
2006
Springer
15 years 10 months ago
2006
Springer
Drawings of water are the earliest, least abstract forms of flow diagram. Representations of ideal or generalised sequences for manufacturing or actual paths for materials between ...
250
click to vote
TSE
2010
15 years 4 months ago
2010
BACKGROUND – the systematic review is becoming a more commonly employed research instrument in empirical software engineering. Before undue reliance is placed on the outcomes of...
147
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Global software development projects use virtual teams, which are primarily linked through computer and telecommunications technologies across national boundaries. Global Virtual ...
186
Voted
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...