2206 search results - page 179 / 442 » Software Engineering and Modeling Education: Problems and So... |
179
click to vote
TMRA
2005
Springer
15 years 12 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
167
click to vote
TASE
2008
IEEE
16 years 25 days ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
227
click to vote
CASCON
2010
15 years 1 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
159
click to vote
GCSE
2000
Springer
15 years 10 months ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
202
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...