formal-methods - 形式方法和企业

Question

关闭。这个问题需要更多focused .它目前不接受答案。












想改善这个问题吗？更新问题，使其仅关注一个问题 editing this post .

4年前关闭。




Improve this question




所以...

我在软件工程中教授形式化方法。我还教授“敏捷方法论”。大多数人似乎认为这是矛盾的。我认为这很有意义......我也在一家公司工作，在那里我们需要实际完成工作:) 虽然我可以将我获得的技能点应用于“规范”的日常工作中，但我的同事们通常会避开“正式”这个词。

我曾经认为这是由于我们学习如何编程的内在方式:我们通常被驱使寻找可行的解决方案，而不是理解问题。然后我认为这是因为正式社区中的大多数人不是工程师，而是数学家或计算机科学家。现在，我想知道是否仅仅是因为形式方法社区隐藏在某种“混淆”法后面，使用所有可用的 UNICODE 符号，积极开发粗鲁、不美观的工具，并在面对标准时大笑。

是的，我一直在从“责备他们”转变为“责备我们”的观点；-)

所以，我的问题是:贵公司是否使用任何形式的方法？你有没有介绍过它们，还是它们是先决条件？您使用什么技术来清除人们恐惧中的数学迷雾并鼓励他们使用形式化方法？您认为当前的工具缺少哪些用于更广泛用途的工具？

Answer 1

让人们接受任何方法或方法论的关键是向他们展示它如何解决他们遇到的问题。如果他们能看到这会让他们的生活变得更好，那么你就有更大的机会让他们采用这些技术。

如果你不能向他们展示，也许你想采用基于哲学而不是实用性的方法。除非其他人分享您的理念，否则您将一事无成。也许你不应该。

几十年来，出现了许多方法论。新的总是解决旧的缺点，但项目仍然遇到麻烦和失败。为什么？因为提出新方法论的摇滚明星都是摇滚明星，并且正是因为他们了解潜在的问题以及如何应用它们而制定了新的方法论。那些追求的人往往盲目地遵循食谱，而且效果不佳。

所以我认为最好的办法是教授潜在的问题，然后展示各种方法如何尝试处理这些问题。公司、项目和团队之间的差异如此之大，以至于没有一种方法可以成功应用于所有组合。学会选择合适的工具并很好地应用它是至关重要的。