1304 search results - page 88 / 261 » Model-Driven Engineering for Requirements Analysis |
ISPW
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...
WCET
2010
14 years 7 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE
Performance Trees are a unifying framework for the specification of performance queries involving measures and requirements. This paper describes an evaluation environment for Pe...
EUROSYS
2006
ACM
15 years 7 months ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...