Sciweavers

4919 search results - page 879 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
EUROMICRO
2002
IEEE
15 years 2 months ago
Evaluation of Static Properties for Component-Based Architectures
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
Alexandre V. Fioukov, Evgeni M. Eskenazi, Dieter K...
SOCO
2009
Springer
15 years 2 months ago
I-Java: An Extension of Java with Incomplete Objects and Object Composition
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be ...
Lorenzo Bettini, Viviana Bono, Erica Turin
FMSP
2000
ACM
152views Formal Methods» more  FMSP 2000»
15 years 2 months ago
Fault origin adjudication
When a program P fails to satisfy a requirement R supposedly ensured by a detailed speci cation S that was used to implement P, there is a question about whether the problem arise...
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obrad...
COORDINATION
2000
Springer
15 years 2 months ago
The LuCe Coordination Technology for MAS Design and Development on the Internet
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
Enrico Denti, Andrea Omicini, Vladimiro Toschi
TOOLS
1998
IEEE
15 years 2 months ago
C++ Program Information Database for Analysis Tools
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
Wanghong Yuan, X. Chen, Tao Xie, Hong Mei, Fuqing ...