Sciweavers

8083 search results - page 315 / 1617
» A Formalization of Software Architecture
Sort
View
153
Voted
ICRA
1993
IEEE
99views Robotics» more  ICRA 1993»
15 years 10 months ago
Integration of Reactive Navigation with a flexible Parallel Hardware Architecture
To demonstrate the flexibility and portability of both a schema-based software architecture and a message-passing hardware architecture, the two were integrated within a very shor...
Thomas R. Collins, Ronald C. Arkin, Andrew M. Hens...
DCEIS
2006
15 years 8 months ago
Semantic Coherence in Software Engineering
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
Michael Skusa
ICSE
2008
IEEE-ACM
16 years 6 months ago
On the automation of fixing software bugs
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
Andrea Arcuri
ICECCS
1996
IEEE
107views Hardware» more  ICECCS 1996»
15 years 11 months ago
Toward a Recommended Practice for Architectural Description
The Architecture Planning Group (APG) was chartered by IEEE's Software Engineering Standards Committee to set a direction for incorporating architectural thinking into IEEE s...
Walter J. Ellis, Richard F. Hilliard II, Thomas F....
ATAL
2006
Springer
15 years 10 months ago
Agent dependability as an architectural issue
Layered architectures are a proven principle for the design of software systems and components. The paper introduces a layered reference architecture for software agents which assi...
Peter C. Lockemann, Jens Nimis