178 search results - page 23 / 36 » Foundations of a Multi-Paradigm Modelling Tool |
TOSEM
1998
15 years 16 hour ago
1998
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be d...
103
click to vote
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
85
Voted
FMSD
2002
15 years 4 days ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
116
click to vote
NGC
1998
Springer
15 years 1 days ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
92
Voted
ECOOPW
2003
Springer
15 years 5 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...