4476 search results - page 566 / 896 » Modeling software architectures in the Unified Modeling Lang... |
158
Voted
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
210
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
138
click to vote
AOSD
2003
ACM
16 years 1 days ago
2003
ACM
Join point interception (JPI), is considered an important cornerstone of aspect-oriented languages. However, we claim that JPI alone does not suffice for a modular structuring of ...
172
click to vote
SIGDOC
2006
ACM
16 years 22 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
167
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...