描述
对于许多中小型企业（SME）来说，开发高度创新的软件是其竞争力不可或缺的一部分。为了使自己的产品取得最佳成功，需要公认的专家为各自的产品领域开发软件。其中许多服务只能由独立的软件公司执行。
只有基础开发和项目合同完全符合技术和法律标准，通过公认的外部专家进行软件开发才能取得成功。这包括声明待开发软件的所有必要特性和功能（所谓的规范），以及将其嵌入具有法律效力的协调开发合同中。如果没有精确的规范及其有保证的审查，软件开发合同在合同形式和订单处理方面都会伴随着严重的法律不确定性。
直到今天，这些问题仍然是软件开发项目失败或缺陷的主要原因。在联邦巴登-符腾堡州资助的联合研究项目“Unternehmenssoftware”的框架内，弗莱堡大学软件工程系主任（安德烈亚斯·波德尔斯基教授）和曼海姆大学知识产权系主任（路易斯·帕洛教授）自2009年开始合作，以实现对当前问题的跨学科解决方案。
计算机科学和法学共同为合同的规划、设计和管理。想法是将易于编写、高效且机器可读的待开发软件的要求和自动化将要求验证为开发合同。本合同的设计确保了合法性技术验证结果的相关性。
因此，开发产品的验收是部分自动化的这方面客观化了，而且耗时更少。此外软件合同的重要部分变得独立于法律体系，从而使国际合作更加容易。
一组预先制定的模型合同确保了软件即使对小型IT公司来说，开发订单也变得有用没有广泛而昂贵的法律咨询。
http://www.salomo-projekt.de
项目负责人
-
Andreas Podelski教授
Lehrstuhl für软件技术
信息研究所
弗莱堡大学
Georges-Köhler-Allee 52，Gebäude | Raum 052-00-017
79110弗赖堡i.Br。
德国
podelski@informatik.uni-freiburg.de
+49 761 203 8241（电话）
+49 761 203 8242（传真）
-
Louis Pahlow教授博士
IZG公司
Lehrstuhl für Bürgerliches Recht、Recht des Geistigen Eigentums和Wettbewerbsrecht
曼海姆大学
68131曼海姆
德国
pahlow@uni-mannheim.de
+49 621 181 1373订单-1374（电话）
+49 621 181 3507（传真）
