Miguel Katrib

.NET assemblies are superior to previous component technologies because they seamlessly provide multilingual support; introduce an excellent synergy between code and metadata; and inspire confidence through a strong type system and the .NET security policy. Nevertheless, .NET lacks a formal mechanism for specifying the semantics of the types offered by an assembly. This article shows how, using .NET attributes, it is feasible to introduce Boolean assertion clauses in .NET assemblies. Using reflection, these assertion attributes can be extracted, checked, and monitored at runtime. We offer an assertion browser tool that extracts the assertion attributes from the assemblies for documentation purposes and generates a "trusted" proxy assembly to monitor these assertions at r... (more)

Dare to Use the Current Capabilities of Windows Presentation Foundation

The Windows Presentation Foundation community is growing because WPF facilitates the development of better graphical user interfaces and graphical applications. But WPF's tri-dimensional resources are not developed compared to DirectX's capabilities and existing hardware potential. This article will explain how to develop panels to make it easier to lay out tri-dimensional figures in a V... (more)

Dealing With The C# 2.0 Genericity

The forthcoming .NET 2.0 Framework will introduce new important features. One of those features is genericity. Genericity is not really a new concept. It has been included in some previous languages as ADA, C++, Eiffel, and in the mathematical model of abstract data types (ADT). However, the C# 2.0 notation for genericity (see the first entry in the References section), the integration o... (more)