Sciweavers

1251 search results - page 56 / 251
» A Method for Component-Based Software and System Development
Sort
View
142
Voted
ICFEM
1997
Springer
15 years 6 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
115
Voted
XPU
2005
Springer
15 years 8 months ago
Source Code Repositories and Agile Methods
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
Alberto Sillitti, Giancarlo Succi
123
Voted
IEEECIT
2010
IEEE
15 years 1 months ago
Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
Dogan Fennibay, Arda Yurdakul, Alper Sen
148
Voted
AOSE
2000
Springer
15 years 7 months ago
Agent-Oriented Software Engineering: The State of the Art
Software engineers continually strive to develop tools and techniques to manage the complexity that is inherent in software systems. In this article, we argue that intelligent agen...
Michael Wooldridge, Paolo Ciancarini
109
Voted
IFIP
1998
Springer
15 years 6 months ago
On the architecture of software component systems
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
M. Franz