4799 search results - page 174 / 960 » Model Based Requirements Engineering for Embedded Software |
131
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
109
Voted
ICSR
2009
Springer
15 years 15 days ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
157
Voted
ASE
2006
15 years 2 months ago
2006
User interface (UI) prototyping and scenario engineering have become popular techniques. Yet, the transition from scenario to formal specifications and the generation of UI code is...
130
Voted
APSEC
1998
IEEE
15 years 7 months ago
1998
IEEE
Component based software engineering (CBSE) represents an exciting and promising paradigm for software development, attracting much interest and effort from industrial practice an...
156
Voted
ISAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...