Sciweavers

2253 search results - page 105 / 451
» An Approach to Specifying Software Frameworks
Sort
View
LISP
2006
160views more  LISP 2006»
15 years 3 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
147
Voted
ICSE
2011
IEEE-ACM
14 years 7 months ago
Leveraging software architectures to guide and verify the development of sense/compute/control applications
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
Damien Cassou, Emilie Balland, Charles Consel, Jul...
ESEM
2009
ACM
15 years 10 months ago
We need more coverage, stat! classroom experience with the software ICU
For empirical software engineering to reach its fullest potential, we must develop effective, experiential approaches to learning about it in a classroom setting. In this paper, ...
Philip Johnson, Shaoxuan Zhang
135
Voted
JSS
2006
99views more  JSS 2006»
15 years 3 months ago
Software architecture-based regression testing
When architecting dependable systems, in addition to improving system dependability by means of construction (fault-tolerant and redundant mechanisms, for instance), it is also im...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
128
Voted
IPPS
2006
IEEE
15 years 9 months ago
A framework for developing distributed location based applications
Location based services and applications are buzzwords nowadays, yet they have been around for quite some time in a variety of applications. However these applications are scarce ...
Andrej Krevl, Mojca Ciglaric