Sciweavers

1689 search results - page 121 / 338
» Empirical Methodologies in Software Engineering
Sort
View
RISE
2005
Springer
15 years 10 months ago
Can Aspects Implement Contracts?
Design by ContractTM is commonly cited as an example of the “crosscutting” concerns that aspect-oriented programming can address. We test this conjecture by attempting to imple...
Stephanie Balzer, Patrick Th. Eugster, Bertrand Me...
CODES
2000
IEEE
15 years 8 months ago
Extended design reuse trade-offs in hardware-software architecture mapping
In the design of embedded systems-on-chip, the success of a product generation depends on the exibility to accommodate future design changes. This requirement in uences the hardwa...
Frederik Vermeulen, Francky Catthoor, Diederik Ver...
AMAST
2004
Springer
15 years 8 months ago
Towards Correspondence Carrying Specifications
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
Marius C. Bujorianu, Eerke A. Boiten
AGILEDC
2006
IEEE
15 years 10 months ago
What Lessons Can the Agile Community Learn from A Maverick Fighter Pilot?
For the agile software development community, agility is defined by the values expressed in the agile manifesto. But in concrete terms, what does it mean for a software project to...
Steve Adolph
ISSRE
2005
IEEE
15 years 10 months ago
Helping End-Users "Engineer" Dependable Web Applications
End-user programmers are increasingly relying on web authoring environments to create web applications. Although often consisting primarily of web pages, such applications are inc...
Sebastian G. Elbaum, Kalyan-Ram Chilakamarri, Bhuv...