Miroslawa Milkowska

According to our database, Miroslawa Milkowska authored at least 5 papers between 1988 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2005

Proving correctness and completeness of normal programs - a declarative approach.

Wlodzimierz Drabent, Miroslawa Milkowska

Theory Pract. Log. Program., 2005

1997

Spill - A Logic Language for Writing Testable Requirements Specifications.

Feliks Kluzniak, Miroslawa Milkowska

Sci. Comput. Program., 1997

1994

Readable, Runnable Requirements Specifications in SPILL-2.

Feliks Kluzniak, Miroslawa Milkowska

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Executable requirements Specifications in a Logic Specification Language SPILL-2.

Feliks Kluzniak, Miroslawa Milkowska

Proceedings of the ICLP 1994 Workshop W7: Applications of Logic Programming to Software Engineering, 1994

1988

Towards a "Middle Road" Methodology for Writing Code Generators.

Feliks Kluzniak, Miroslawa Milkowska

Proceedings of the Programming Language Implementation and Logic Programming, 1988