Sciweavers

4245 search results - page 382 / 849
» Integrating Software by Integrating People
Sort
View
KBSE
2003
IEEE
16 years 2 days ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland
AUIC
2002
IEEE
15 years 11 months ago
Building Multi-Device, Component-based, Thin-client Groupware: Issues and Experiences
The use of groupware, or collaborative work-supporting technologies, has become wide-spread, but many existing groupware systems are too difficult to integrate with domain-specifi...
John C. Grundy, Xing Wang, John G. Hosking
FASE
2010
Springer
15 years 11 months ago
Incremental Consistency Checking of Dynamic Constraints
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
Iris Groher, Alexander Reder, Alexander Egyed
ICSE
2001
IEEE-ACM
15 years 11 months ago
Designing Concurrent, Distributed, and Real-Time Applications with UML
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
Hassan Gomaa
OOIS
2001
Springer
15 years 11 months ago
Ontology Modeling Using UML
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
Xin Wang, Christine W. Chan