Miroslawa Milkowska

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

Collaborative distances:

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

2001

Proving Correctness and Completeness of Normal Programs - A Declarative Approach.

Wlodzimierz Drabent, Miroslawa Milkowska

Proceedings of the Logic Programming, 17th International Conference, 2001

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