Sciweavers

1185 search results - page 91 / 237
» Enhancement of Development Technologies for Agent-Based Soft...
Sort
View
77
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
From Architecture to Requirements: A Success Story
User requirements for telecommunication systems are difficult to understand because they are obscured by a long history of ad hoc feature development and technological limitations...
Pamela Zave
135
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
ICSM
2003
IEEE
15 years 9 months ago
Towards a Versioning Model for Component-based Software Assembly
The world of software development has rapidly changed in the last few years due to the adoption of component-based technologies. The classical software configuration management, ...
Jaroslav Gergic
117
Voted
CODES
1996
IEEE
15 years 8 months ago
A Model for the Coanalysis of Hardware and Software Architectures
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Sha...
141
Voted
EUROMICRO
1998
IEEE
15 years 8 months ago
Hardware to Software Migration with Real-Time Thread Integration
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
Alexander G. Dean, John Paul Shen