606 search results - page 20 / 122 » A Practical Approach of Teaching Software Engineering |
KBSE
1997
IEEE
14 years 4 days ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
EUROSYS
2011
ACM
12 years 11 months ago
2011
ACM
The high replication cost of Byzantine fault-tolerance (BFT) methods has been a major barrier to their widespread adoption in commercial distributed applications. We present ZZ, a...
EDOC
2007
IEEE
14 years 2 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
ICSE
2001
IEEE-ACM
14 years 11 days ago
2001
IEEE-ACM
It is now generally accepted that separating software architecture into multiple views can help in reducing complexity and in making sound decisions about design trade-offs. Our f...
HCI
2007
13 years 9 months ago
2007
: This paper describes an approach to integrate UCD activities into the existing Software Engineering practices and processes. The aim is to use the outcomes of UCD activities thro...