7329 search results - page 369 / 1466 » Software Architectural Transformation |
200
click to vote
AOSD
2010
ACM
15 years 7 months ago
2010
ACM
Embedded domain-specific languages (EDSLs) are said to be easier to compose than DSLs that are implemented by preprocessors. However, existing approaches focus on composition scen...
190
click to vote
DATE
2003
IEEE
16 years 3 days ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...
177
click to vote
SERP
2003
15 years 8 months ago
2003
This paper describes an application of the IEEE Standard 1471-2000, “Recommended practice for architectural description of softwareintensive system” in a software integration ...
185
click to vote
FLAIRS
2000
15 years 8 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
162
click to vote
ICCS
2003
Springer
16 years 1 days ago
2003
Springer
Smart disks, a type of processor-embedded active I/O devices, with their on-disk memory and network interface controller, can be viewed as processing elements with attached storage...