Die ultimativen Tools für Entwickler und Power User
28.08.07 - Tools, 3rd Party Tools
Beitrag von
Norbert EderPodcast: Windows Live ID Development
26.08.07 - .NET, Allerlei, Internet, Entwickler Podcasts
Beitrag von
Norbert EderSpec# -
24.08.07 - .NET, Allerlei
Beitrag von
Norbert Eder| | Bei Spec# handelt es sich um eine Erweiterung von C#. C# wird dabei um beispielsweise Pre- und Postconditions adaptiert.
The Spec# programming language. Spec# is an extension of the object-oriented language C#. It extends the type system to include non-null types and checked exceptions. It provides method contracts in the form of pre- and postconditions as well as object invariants.
The Spec# compiler. Integrated into the Microsoft Visual Studio development environment for the .NET platform, the compiler statically enforces non-null types, emits run-time checks for method contracts and invariants, and records the contracts as metadata for consumption by downstream tools.
The Spec# static program verifier. This component (codenamed Boogie) generates logical verification conditions from a Spec# program. Internally, it uses an automatic theorem prover that analyzes the verification conditions to prove the correctness of the program or find errors in it.
Wer sich das einmal genauer ansehen möchte, der findet einen guten Ausgangspunkt auf Spec# Home.
|
| | Kommentar hinzufügen
| 0 Trackbacks
| Permalink | Trackback-URL |
ASP.NET: URL aus lokalem Pfad generieren
22.08.07 - .NET, ASP.NET
Beitrag von
Norbert Eder| | Mit Server.MapPath kann sehr einfach der lokale Pfad zu einer Datei generiert werden. In manchen Fällen ist jedoch der umgekehrte Weg notwendig: Aus einem vorhanden Pfad soll eine URL erstellt werden. Nachfolgendes Code-Snippet zeigt, wie dies geht:
private String ReverseMapPath(String PhysicalFilePath)
{
String AppPath = HttpContext.Current.Server.MapPath("~");
String url = String.Format
("~{0}",
PhysicalFilePath.Replace(AppPath, "").Replace("", "/"));
return url;
}
|
| | 1 Kommentar
- 8321 mal angesehen
| 0 Trackbacks
| Permalink | Trackback-URL |
Geiler RAM! Jawohl!
21.08.07 - Kunterbunt
Beitrag von
Norbert EderPodcast Nr. 3: ASP.NET Teil 1 - Basiswissen
19.08.07 - .NET, ASP.NET, Internet, Entwickler Podcasts
Beitrag von
Norbert Eder| | Der erste Teil der dreiteiligen Podcast-Serie zum Thema ASP.NET steht zum Download zur Verfügung. Behandelt werden Themen für Einsteiger, als auch Umsteiger. Durch eine Einführung in die wichtigsten Grundlagen, als auch häufig gestellte Fragen wird grundlegendes Wissen vermittelt, welches anhand von Beispielen weiter vertieft wird. Ein Muss für jeden, der sich mit ASP.NET zukünftig auseinander setzen möchte.
Weitere Informationen und Download
|
| | Kommentar hinzufügen
| 0 Trackbacks
| Permalink | Trackback-URL |
BASTA! Ich bin dabei!
18.08.07 - .NET, Internet, Community
Beitrag von
Norbert EderEin paar aktuelle Statistiken
17.08.07 - Blog-Intern
Beitrag von
Norbert EderBackup Tool für Windows Live Mail
16.08.07 - Tools, 3rd Party Tools
Beitrag von
Norbert Eder| |  Wer Windows Live Mail einsetzt, der wird wohl eine Backup-Funktion vermissen. Dieses kleine Tool bietet die Möglichkeit von Backups für Live Mail an. Die Software ist auf die minimalen Anforderungen beschränkt, ohne Schnick-Schnack. Ideal um schnell Mal ein Backup zu ziehen. Eine Wiederherstellung kann natürlich ebenfalls schnell durchgeführt werden.
Weitere Informationen im Live Blog
|
| | Kommentar hinzufügen
| 0 Trackbacks
| Permalink | Trackback-URL |
dasBlog 2.0 veröffentlicht
16.08.07 - .NET, ASP.NET, Tools
Beitrag von
Norbert Eder
;)
;)
;)
