1099 search results - page 118 / 220 » Using Transformation Systems for Software Maintenance and Re... |
120
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
164
Voted
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...
149
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
SaveCCM is a domain specific component model developed specifically for safety-critical hard real-time embedded systems in the vehicular domain. This paper expands the scope of Sa...
154
Voted
CODES
2008
IEEE
15 years 5 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
117
Voted
ECOWS
2007
Springer
15 years 9 months ago
2007
Springer
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServicesOriented Archit...