11462 search results - page 577 / 2293 » Developing Application-Centric Methods |
170
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
165
click to vote
ERCIMDL
2006
Springer
15 years 11 months ago
2006
Springer
Geographic metadata quality is one of the most important aspects on the performance of Geographic Digital Libraries. After reviewing previous attempts outside the geographic domain...
199
click to vote
HICSS
1995
IEEE
15 years 11 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
177
click to vote
WSC
2008
15 years 9 months ago
2008
In our research, the manufacturing system emulation technology is proposed as one of the frontloading methods in the manufacturing system implementation phase. In this paper, the ...
191
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Feature-Oriented Software Development (FOSD) provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along d...