402 search results - page 30 / 81 » Engineering a Programming Language: The Type and Class Syste... |
WCRE
1999
IEEE
14 years 22 days ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
IAT
2010
IEEE
13 years 6 months ago
2010
IEEE
ASEME is an emerging Agent Oriented Software Engineering (AOSE) methodology. The Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of...
DBPL
1993
Springer
14 years 17 days ago
1993
Springer
A class of database programs exist which are required to operate over an infinite number of types; included in this class are object browsers and query tools. The types over which...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined o...
PEPM
2010
ACM
14 years 5 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...