1401 search results - page 31 / 281 » Tool Integration for Reasoned Programming |
SAC
2005
ACM
14 years 2 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
EXPERT
2006
13 years 8 months ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
ENTCS
2010
13 years 8 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...
CC
2001
Springer
14 years 12 days ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
DALT
2007
Springer
14 years 2 months ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...