Sciweavers

6348 search results - page 525 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
AGILEDC
2008
IEEE
15 years 9 months ago
How Did We Adapt Agile Processes to Our Distributed Development?
Today, many software projects are being developed by collaborating programmers working across multiple locations. Whatever the reason may be, outsourcing, organizational structure...
Cynick Young, Hiroki Terashima
CBSE
2008
Springer
15 years 9 months ago
State Space Reduction Techniques for Component Interfaces
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
Markus Lumpe, Lars Grunske, Jean-Guy Schneider
HOTSWUP
2009
ACM
15 years 4 months ago
Migrating Protocols in Multi-Threaded Message-Passing Systems
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
Austin Anderson, Julian Rathke
COMPSAC
2002
IEEE
16 years 1 days ago
A Simple Mathematically Based Framework for Rule Extraction from an Arbitrary Programming Language
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
Frederick V. Ramsey, James J. Alpigini
IDEAL
2005
Springer
16 years 17 days ago
Patterns in Complex Systems Modeling
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
Janet Wiles, James Watson