5407 search results - page 859 / 1082 » The Software Engineering Global Model |
195
click to vote
EWSA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
188
Voted
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
209
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...
193
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
201
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...