1326 search results - page 89 / 266 » Semantic Coherence in Software Engineering |
EUROMICRO
1998
IEEE
14 years 3 days ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
KBSE
1994
IEEE
13 years 12 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
Coupling in software has been linked with maintainability and existing metrics are used as predictors of external software quality attributes such as fault-proneness, impact analy...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Abstract. In software architecture, components represent the computational units of a system and connectors represent the interactions among those units. Making decisions about the...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...