model-driven-development
Czy istnieje metodologia programowania funkcyjnego? [zamknięte]
Inżynieria oprogramowania, której się dzisiaj uczy, skupia się całkowicie na programowaniu obiektowym i "naturalnym" obiektow ... Clojure? Jakie są wspólne kroki, jakich artefaktów używam, jak mapować je z przestrzeni problemu do przestrzeni rozwiązania?
Doświadczenia z wykorzystaniem stopu w rzeczywistych projektach
Od jakiegoś czasu interesuję się metodami formalnymi. Użyłem formalnych metod, aby wyjaśnić niektóre bardzo specyficzne obsza ... to w zaprojektowaniu lepszego modelu domeny? Czy znalazłeś błędy w modelu domeny podczas weryfikacji? Użyłbyś go jeszcze raz?