Archive for August 2012

Sample Terms for Practical Type Inference for Arbitrary Rank Types

I’ve been heads down following from my past work on Model Driven Architecture, Ontology and Logic(s). The questions that arise naturally in the course of studying these topics lead me to closely examine quantification and type systems. Higher rank types provide both a mechanism for polymorphism and high assurance in the subjects that motivated my study.

In Search of a Paradigm: The Science of Methods

Some 42 years after Winston Royce published Managing the Development of Large Software Projects we are still in search of a paradigm. It’s unlikely we’ll find one like the natural sciences, but with the excellent foundation provided by SEMAT I have defined here the minimal parts of a science of methods. The science of methods does not preclude social engineering in software engineering. We simply ask from ourselves, what we’d ask from others.