1469 search results - page 25 / 294 » Structural aspects of tilings |
ICST
2008
IEEE
15 years 5 months ago
2008
IEEE
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed with the aim of improving the functional software cor...
89
Voted
CAISE
2007
Springer
15 years 5 months ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
86
Voted
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
88
Voted
ECOOP
2004
Springer
15 years 4 months ago
2004
Springer
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
107
click to vote
WICSA
2008
15 years 14 days ago
2008
Architecture-based software development is the implementation of a software system in terms of its architectural constructs (e.g., components, connectors, ports). It has been show...